Reflexive intermediate propositional logics

DOI10.1305/NDJFL/1143468310MaRDI QIDQ2505130zbMATH OpenOpenAlexFDO

Authors Nathan C. Carter

Publication date 4 October 2006

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

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

zbMATH Keywords

intermediate logicweak excluded midlle

Mathematics Subject Classification ID

Intermediate logics (03B55)

Recommendations

• Completeness and incompleteness for intuitionistic logic
• Completeness theorems for some intermediate predicate calculi
• Intuitionistic completeness and classical logic
• Completeness of intermediate logics with doubly negated axioms
• scientific article; zbMATH DE number 3841822

Cites work

• scientific article; zbMATH DE number 3659563 (Why is no real title available?)
• scientific article; zbMATH DE number 3695180 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3563037 (Why is no real title available?)
• scientific article; zbMATH DE number 1226875 (Why is no real title available?)
• scientific article; zbMATH DE number 1169382 (Why is no real title available?)
• scientific article; zbMATH DE number 3317730 (Why is no real title available?)
• A mathematical introduction to logic.
• A remark on free choice sequences and the topological completeness proofs
• Another condition equivalent to de morgan's law
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• Incompleteness in intuitionistic metamathematics
• Intuitionistic completeness and classical logic
• On weak completeness of intuitionistic predicate logic
• Semantical investigations in Heyting's intuitionistic logic

Cited in

(4)

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

This page was built for publication: Reflexive intermediate propositional logics

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