Completeness and incompleteness for intuitionistic logic

DOI10.2178/JSL/1230396921MaRDI QIDQ5502819zbMATH OpenOpenAlexFDO

Authors 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

completenessincompletenessintuitionistic logic

Mathematics Subject Classification ID

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

Recommendations

• Intuitionistic completeness and classical logic
• scientific article; zbMATH DE number 1169382
• Undecidability and intuitionistic incompleteness
• An intuitionistic completeness theorem for classical predicate logic
• A new semantics for intuitionistic predicate logic

Cites work

• Constructivism in mathematics. An introduction. Volume I
• scientific article; zbMATH DE number 1478228 (Why is no real title available?)
• Incompleteness in intuitionistic metamathematics
• Intuitionistic completeness and classical logic
• Reflexive intermediate propositional logics
• Semantical investigations in Heyting's intuitionistic logic

Cited in

(36)

• Completeness of intuitionistic predicate calculus with the concept of bar
• Some questions about expressiveness and relative completeness in Hoare's logic
• The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics
• Incompleteness in intuitionistic metamathematics
• Negationless intuitionism
• Completeness issues in RUE-NRF deduction: The undecidability of viability
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• Reverse mathematics and completeness theorems for intuitionistic logic
• A new semantics for intuitionistic predicate logic
• Intuitionistic completeness and classical logic
• Krivine's intuitionistic proof of classical completeness (for countable languages)
• Completeness and incompleteness for plausibility logic
• Theory of completeness for logical spaces
• Satisfiability is false intuitionistically: a question from Dana Scott
• Reflexive intermediate propositional logics
• Failure of completeness in proof-theoretic semantics
• Incompleteness of intuitionistic propositional logic with respect to proof-theoretic semantics
• Semantic completeness of first-order theories in constructive reverse mathematics
• Cauchy completeness in elementary logic
• Incompatible Ω-Complete Theories
• Intuitionistic completeness of first-order logic
• scientific article; zbMATH DE number 32142 (Why is no real title available?)
• Intuitionistic completeness for first order classical logic
• Completeness of global intuitionistic set theory
• scientific article; zbMATH DE number 1169382 (Why is no real title available?)
• scientific article; zbMATH DE number 4116494 (Why is no real title available?)
• scientific article; zbMATH DE number 1858070 (Why is no real title available?)
• scientific article; zbMATH DE number 781275 (Why is no real title available?)
• Normativity in logic
• Completeness in Proof-Theoretic Semantics
• scientific article; zbMATH DE number 7668097 (Why is no real title available?)
• Semantic Incompleteness of Hilbert system for a Combination of Classical and Intuitionistic Propositional Logic
• Should pluralists be pluralists about pluralism?
• Can the classical ladder be kicked away? The view from one rung up
• Accepting a logic, accepting a theory
• Non-classical logicians can use a classical metatheory without abandoning their principles

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5502819)