Completeness of intermediate logics with doubly negated axioms

DOI10.1002/malq.201200083zbMath1320.03057OpenAlexW1639353267MaRDI QIDQ5404158

Mohammad Ardeshir, S. Mojtaba Mojtahedi

Publication date: 21 March 2014

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.201200083

zbMATH Keywords

doubly negated axiomsintermediate first-order logics

Mathematics Subject Classification ID

Intermediate logics (03B55)

Cites Work

• Semantical investigations in Heyting's intuitionistic logic
• Constructivism in mathematics. An introduction. Volume I
• Completeness theorem for Dummett's LC quantified and some of its extensions
• Directed frames
• Intuitionistic axiomatizations for bounded extension Kripke models.
• A logic stronger than intuitionism
• On logics intermediate between intuitionistic and classical predicate logic
• Applications of trees to intermediate logics

This page was built for publication: Completeness of intermediate logics with doubly negated axioms