The following pages link to (Q5884933):
Displaying 7 items.
- A new mapping between combinatorial proofs and sequent calculus proofs read out from logical flow graphs (Q964500) (← links)
- Combination of convex theories: modularity, deduction completeness, and explanation (Q1041593) (← links)
- A simple combinatorial proof for the small model property of two-variable logic (Q2032164) (← links)
- A Constructive Proof of Dependent Choice, Compatible with Classical Logic (Q2986812) (← links)
- Proof Theory for Casari's Comparative Logics (Q3411997) (← links)
- Making proofs without Modus Ponens: An introduction to the combinatorics and complexity of cut elimination (Q4337947) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)