The following pages link to Cut as Consequence (Q3019775):
Displaying 8 items.
- Don't eliminate cut (Q1057847) (← links)
- Cutting Out Continuations (Q3188285) (← links)
- EARLY STRUCTURAL REASONING. GENTZEN 1932 (Q3459084) (← links)
- Cuts and gluts (Q3647229) (← links)
- The Context of Inference (Q5208107) (← links)
- On Gentzen’s Structural Completeness Proof (Q5213620) (← links)
- Cut Elimination In Situ (Q5361251) (← links)
- Negative predication and distinctness (Q6043099) (← links)