Pages that link to "Item:Q5432335"
From MaRDI portal
The following pages link to A Simple Proof That Super-Consistency Implies Cut Elimination (Q5432335):
Displayed 4 items.
- A simple proof that super-consistency implies cut elimination (Q691121) (← links)
- On the Convergence of Reduction-based and Model-based Methods in Proof Theory (Q2866742) (← links)
- Orthogonality and Boolean Algebras for Deduction Modulo (Q3007658) (← links)
- Axiom Directed Focusing (Q3638252) (← links)