Gentzen's consistency proof without heightlines
From MaRDI portal
Publication:2377348
DOI10.1007/S00153-013-0324-0zbMath1275.03151OpenAlexW2057428959MaRDI QIDQ2377348
Publication date: 28 June 2013
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00153-013-0324-0
Cut-elimination and normal-form theorems (03F05) First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55)
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Proof theory. 2nd ed
- Constructivism in mathematics. An introduction. Volume I
- Handbook of proof theory
- Derivation Lengths Classification of G\"odel's T Extending Howard's Assignment
- Consistency of Heyting arithmetic in natural deduction
- On permuting cut with contraction
- A Direct Gentzen-Style Consistency Proof for Heyting Arithmetic
- A proof of Gentzen's \textit{Hauptsatz} without multicut
This page was built for publication: Gentzen's consistency proof without heightlines