Completeness and incompleteness for intuitionistic logic

DOI10.2178/JSL/1230396921zbMath1165.03050OpenAlexW2013072167MaRDI QIDQ5502819

Charles McCarty

Publication date: 9 January 2009

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

Full work available at URL: https://doi.org/10.2178/jsl/1230396921

zbMATH Keywords

completenessintuitionistic logicincompleteness

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items (4)

Semantic completeness of first-order theories in constructive reverse mathematics ⋮ Intuitionistic completeness of first-order logic ⋮ Satisfiability is false intuitionistically: a question from Dana Scott ⋮ Should pluralists be pluralists about pluralism?

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• Incompleteness in intuitionistic metamathematics
• Constructivism in mathematics. An introduction. Volume I
• Intuitionistic completeness and classical logic
• Reflexive intermediate propositional logics
• Unnamed Item

This page was built for publication: Completeness and incompleteness for intuitionistic logic