Undecidability and intuitionistic incompleteness

DOI10.1007/BF00257386zbMath0862.03001OpenAlexW1988967089MaRDI QIDQ1815411

David Charles McCarty

Publication date: 12 November 1996

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf00257386

zbMATH Keywords

completenessKripke modelsintuitionistic logicclassical logicMarkov's principleBeth models

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Metamathematics of constructive systems (03F50) Subsystems of classical logic (including intuitionistic logic) (03B20)

Related Items (3)

Krivine's intuitionistic proof of classical completeness (for countable languages) ⋮ Intuitionistic completeness of first-order logic ⋮ Semantical analysis of specification logic

This page was built for publication: Undecidability and intuitionistic incompleteness