An intuitionistic completeness theorem for classical predicate logic

DOI10.1007/S11225-010-9273-3zbMath1204.03019OpenAlexW2114956963MaRDI QIDQ708927

Victor N. Krivtsov

Publication date: 15 October 2010

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11225-010-9273-3

zbMATH Keywords

classical predicate logicGödel completeness theoremintuitionistic completeness proof

Mathematics Subject Classification ID

Classical first-order logic (03B10)

Related Items (2)

Empirical Negation, Co-Negation and the Contraposition Rule II: Proof-Theoretical Investigations ⋮ Semantical completeness of first-order predicate logic and the weak fan theorem

Cites Work

• Constructivism in mathematics. An introduction. Volume II
• Une Preuve Formelle et Intuitionniste du Théorème de Complétude de la Logique Classique

This page was built for publication: An intuitionistic completeness theorem for classical predicate logic