This preview has intentionally blurred sections. Sign up to view the full version.
View Full DocumentThis preview has intentionally blurred sections. Sign up to view the full version.
View Full Document Spring '08
 Bachmair,L
 Computer Science, Logic, GL, Proof theory, Sequent calculus, Gentzen Sequent Calculus GL, sequent Γ −→

Click to edit the document details