Deep inference
article-link
What links here
Cut-elimination theorem
Calculus of structures
article-link
Admissible rule
article-link
Normal form (natural deduction)
article-link
Cut rule
article-link
Structural proof theory
article-link
Structural rule
article-link
Noncommutative logic
article-link
List of theorems
article-link
Linear logic
article-link
Deduction theorem
article-link
Metalogic
article-link
Sequent calculus
article-link
Proof theory
article-link
Gerhard Gentzen
article-link
Theorem
article-link
Modus ponens
article-link
Cut-elimination
redirect
Cut elimination
redirect