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):
Displaying 25 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)
- A cut-free calculus for second-order Gödel logic (Q1677040) (← links)
- Typing and computational properties of lambda expressions (Q1819575) (← links)
- On Takeuti's early view of the concept of set (Q2097059) (← links)
- Is cut-free logic fit for unrestricted abstraction? (Q2131274) (← links)
- Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic (Q2186695) (← links)
- Burali-Forti as a purely logical paradox (Q2281317) (← links)
- Paraconsistency and the need for infinite semantics (Q2317507) (← links)
- Cut-elimination for quantified conditional logic (Q2363418) (← links)
- One step is enough (Q2679573) (← 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)
- Memories of Kurt Schütte and the logic group in Munich: A personal report (Q5013896) (← links)
- Cut-Elimination for SBL (Q5013907) (← links)
- MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics (Q5079762) (← links)
- Prawitz, Proofs, and Meaning (Q5213604) (← links)
- Hauptsatz for higher order logic (Q5549033) (← links)
- A survey of proof theory (Q5569099) (← links)
- Neo-Logicism and Its Logic (Q5871286) (← links)
- On non-deterministic functional completeness (Q6623946) (← links)
