scientific article; zbMATH DE number 1169382

MaRDI QIDQ4397034zbMATH OpenFDO

Authors David Charles McCarty

Publication date 25 June 1998

zbMATH Keywords

Church's thesiscompletenessHeyting arithmeticHeyting's predicate logicintuitionistic incompletenesslawless sequencesMarkov's ruleproof theorytopological models

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Subsystems of classical logic (including intuitionistic logic) (03B20) Intuitionistic mathematics (03F55)

Recommendations

• Undecidability and intuitionistic incompleteness
• Completeness and incompleteness for intuitionistic logic
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• An intuitionistic completeness theorem for classical predicate logic

Cited in

(31)

• Completeness of intuitionistic predicate calculus with the concept of bar
• The completeness theorems for some intuitionistic epistemic logics in terms of interval semantics
• Incompleteness in intuitionistic metamathematics
• Negationless intuitionism
• On theorems of Gödel and Kreisel: Completeness and Markov's principle
• Reverse mathematics and completeness theorems for intuitionistic logic
• On denotational completeness
• A strong completeness theorem in intuitionistic quantified modal 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
• Expressive completeness and decidability
• Reflexive intermediate propositional logics
• Cauchy completeness in elementary logic
• Complete Coinductive Theories. I
• Strong Completeness of a Pure Free Logic
• scientific article; zbMATH DE number 4008369 (Why is no real title available?)
• scientific article; zbMATH DE number 4057508 (Why is no real title available?)
• scientific article; zbMATH DE number 4059375 (Why is no real title available?)
• 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
• Completeness of neighbourhood logic
• scientific article; zbMATH DE number 4116494 (Why is no real title available?)
• scientific article; zbMATH DE number 781275 (Why is no real title available?)
• scientific article; zbMATH DE number 4195940 (Why is no real title available?)
• Completeness and incompleteness for intuitionistic logic
• scientific article; zbMATH DE number 7668097 (Why is no real title available?)
• An intuitionistic completeness theorem for classical predicate logic

This page was built for publication:

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