Intuitionistic completeness and classical logic

DOI10.1305/ndjfl/1074396309zbMath1050.03041OpenAlexW2023681781MaRDI QIDQ1882403

David Charles McCarty

Publication date: 1 October 2004

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1074396309

zbMATH Keywords

completenessintuitionistic logicincompleteness

Mathematics Subject Classification ID

Classical propositional logic (03B05) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Related Items

Semantic completeness of first-order theories in constructive reverse mathematics, Satisfiability is false intuitionistically: a question from Dana Scott, Kripke models for classical logic, Reflexive intermediate propositional logics, Completeness and incompleteness for intuitionistic logic

Cites Work

• Unnamed Item
• Incompleteness in intuitionistic metamathematics
• Constructivism in mathematics. An introduction. Volume I
• Constructivism in mathematics. An introduction. Volume II
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Constructive validity is nonarithmetic
• On weak completeness of intuitionistic predicate logic