A nonconstructive proof of Gentzen’s Hauptsatz for second order predicate logic
From MaRDI portal
Publication:5596744
DOI10.1090/S0002-9904-1966-11611-7zbMath0199.00801MaRDI QIDQ5596744
Publication date: 1966
Published in: Bulletin of the American Mathematical Society (Search for Journal in Brave)
Related Items
Hauptsatz for higher order logic, Cut-elimination for quantified conditional logic, Is cut-free logic fit for unrestricted abstraction?, A survey of proof theory, A cut-free calculus for second-order Gödel logic, Completeness and cut-elimination for first-order ideal paraconsistent four-valued logic, One step is enough, A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms, A simple proof that super-consistency implies cut elimination, Towards Hilbert's 24th Problem: Combinatorial Proof Invariants, Burali-Forti as a purely logical paradox, Prawitz, Proofs, and Meaning, Theory of proofs (arithmetic and analysis), MacNeille Completion and Buchholz' Omega Rule for Parameter-Free Second Order Logics, Typing and computational properties of lambda expressions, Paraconsistency and the need for infinite semantics, On Takeuti's early view of the concept of set, Memories of Kurt Schütte and the logic group in Munich: A personal report, Cut-Elimination for SBL, On the Convergence of Reduction-based and Model-based Methods in Proof Theory, On the consistency of an impredicative subsystem of Quine's NF, A uniform semantic proof for cut-elimination and completeness of various first and higher order logics., Neo-Logicism and Its Logic, A selected bibliography on constructive mathematics, intuitionistic type theory and higher order deduction
Cites Work