The following pages link to Extension without cut (Q714731):
Displaying 8 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)
- A System of Interaction and Structure III: The Complexity of BV and Pomset Logic (Q6137849) (← links)