The following pages link to Cut-elimination theorem:
Displayed 18 items.
- Index of philosophy articles (A–C) (← links | edit)
- Modus ponens (← links | edit)
- Theorem (← links | edit)
- Gerhard Gentzen (← links | edit)
- Proof theory (← links | edit)
- Sequent calculus (← links | edit)
- Metalogic (← links | edit)
- Deduction theorem (← links | edit)
- Linear logic (← links | edit)
- List of theorems (← links | edit)
- Noncommutative logic (← links | edit)
- Structural rule (← links | edit)
- Cut-elimination (redirect page) (← links | edit)
- Consistency (← links | edit)
- Sequent calculus (← links | edit)
- List of mathematical logic topics (← links | edit)
- Proof-theoretic semantics (← links | edit)
- Kripke semantics (← links | edit)
- Analytic proof (← links | edit)
- Structural proof theory (← links | edit)
- Cut rule (← links | edit)
- Normal form (natural deduction) (← links | edit)
- Admissible rule (← links | edit)
- Deep inference (← links | edit)