The following pages link to Extension without cut (Q714731):
Displayed 7 items.
- On the Power of Substitution in the Calculus of Structures (Q2946759) (← links)
- On linear rewriting systems for Boolean logic and some applications to proof theory (Q2974793) (← links)
- On the Proof Complexity of Cut-Free Bounded Deep Inference (Q3010365) (← links)
- (Q5111329) (← links)
- The problem of proof identity, and why computer scientists should care about Hilbert's 24th problem (Q5204803) (← links)
- PROOF COMPLEXITIES ON A CLASS OF BALANCED FORMULAS IN SOME PROPOSITIONAL SYSTEMS (Q5883729) (← links)
- Enumerating Independent Linear Inferences (Q6135760) (← links)