Consistency of Heyting arithmetic in natural deduction
From MaRDI portal
Publication:3066292
DOI10.1002/malq.200910118zbMath1219.03072OpenAlexW1969948478MaRDI QIDQ3066292
Publication date: 10 January 2011
Published in: Mathematical Logic Quarterly (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1002/malq.200910118
First-order arithmetic and fragments (03F30) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Related Items (4)
Gentzen's consistency proof without heightlines ⋮ Gentzen's Proof Systems: Byproducts in a Work of Genius ⋮ Normalization proof for Peano arithmetic ⋮ Gödel and Intuitionism
Cites Work
This page was built for publication: Consistency of Heyting arithmetic in natural deduction