Pages that link to "Cut-elimination theorem"
From HandWiki
The following pages link to Cut-elimination theorem:
Displayed 20 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Metalogic (← links)
- Theorem (← links)
- Łukasiewicz logic (← links)
- Proof theory (← links)
- Deduction theorem (← links)
- Method of analytic tableaux (← links)
- Admissible rule (← links)
- Structural rule (← links)
- Modus ponens (← links)
- Sequent calculus (← links)
- Herbrand's theorem (← links)
- Linear logic (← links)
- Takeuti's conjecture (← links)
- Philosophy:Noncommutative logic (← links)
- Philosophy:Structural proof theory (← links)
- Philosophy:Deep inference (← links)
- Philosophy:Stanisław Jaśkowski (← links)
- Biography:Gaisi Takeuti (← links)
- Biography:Gerhard Gentzen (← links)
- Biography:Stanisław Jaśkowski (← links)