Reflexive intermediate propositional logics

DOI10.1305/NDJFL/1143468310zbMath1105.03025OpenAlexW1990279536MaRDI QIDQ2505130

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)

Related Items (3)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantical investigations in Heyting's intuitionistic logic
• Incompleteness in intuitionistic metamathematics
• Intuitionistic completeness and classical logic
• Another condition equivalent to de morgan's law
• Elementary completeness properties of intuitionistic logic with a note on negations of prenex formulae
• A remark on free choice sequences and the topological completeness proofs
• On weak completeness of intuitionistic predicate logic

This page was built for publication: Reflexive intermediate propositional logics