The following pages link to Don't eliminate cut (Q1057847):
Displayed 9 items.
- Strict finitism and the happy sorites (Q427227) (← links)
- Simplifying proofs in Fitch-style natural deduction systems (Q851139) (← links)
- Cut and pay (Q851192) (← links)
- Cut elimination and automatic proof procedures (Q1183598) (← links)
- Turning cycles into spirals (Q1295442) (← links)
- Structure of proofs and the complexity of cut elimination (Q2368983) (← links)
- Antirealism, Meaning and Truth-Conditional Semantics (Q2908760) (← links)
- Social processes, program verification and all that (Q3643359) (← links)
- Cycling in proofs and feasibility (Q4942870) (← links)