Pages that link to "Item:Q5596744"
From MaRDI portal
The following pages link to A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic (Q5596744):
Displayed 11 items.
- A simple proof that super-consistency implies cut elimination (Q691121) (← links)
- A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction (Q1075050) (← links)
- Theory of proofs (arithmetic and analysis) (Q1260035) (← links)
- A uniform semantic proof for cut-elimination and completeness of various first and higher order logics. (Q1603701) (← links)
- Typing and computational properties of lambda expressions (Q1819575) (← links)
- On the Convergence of Reduction-based and Model-based Methods in Proof Theory (Q2866742) (← links)
- A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms (Q3540178) (← links)
- On the consistency of an impredicative subsystem of Quine's NF (Q3947653) (← links)
- Towards Hilbert's 24th Problem: Combinatorial Proof Invariants (Q4917988) (← links)
- Hauptsatz for higher order logic (Q5549033) (← links)
- A survey of proof theory (Q5569099) (← links)