The following pages link to Cut as Consequence (Q3019775):
Displayed 5 items.
- EARLY STRUCTURAL REASONING. GENTZEN 1932 (Q3459084) (← links)
- The Context of Inference (Q5208107) (← links)
- On Gentzen’s Structural Completeness Proof (Q5213620) (← links)
- Negative predication and distinctness (Q6043099) (← links)
- The Deduction Theorem (Before and After Herbrand) (Q6098653) (← links)