An application of Rieger-Nishimura formulas to the intuitionistic modal logics

DOI10.1007/BF00370811MaRDI QIDQ1074572zbMATH OpenFDO

Authors Dimiter Vakarelov

Publication date 1985

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF00370811

zbMATH Keywords

consistencyintuitionistic logicIntuitionistic monotone modal logicmonadic formula

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

Intuitionistic monotone modal logic (imml) is a set of propositional modal formulas containing the usual intuitionistic axioms and closed under modus ponens, substitution and the rule (A\(\to B)/(MA\to MB)\). Extending results of his previous work [ibid. 40, 103-111 (1981; Zbl 0469.03009)], the author proves that for any monadic nonmodal propositional formula A which is derivable classically but not intuitionistically, there is a continuum of immls L such that \(L+A\) is inconsistent. There exists a consistent imml L such that \(L+A\) is inconsistent for any such A. There exist at least countably many immls.

Recommendations

• scientific article; zbMATH DE number 3853039
• scientific article; zbMATH DE number 1303434
• A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
• Publication:3472079
• scientific article; zbMATH DE number 3865242

Cites work

• scientific article; zbMATH DE number 3853039 (Why is no real title available?)
• scientific article; zbMATH DE number 3487396 (Why is no real title available?)
• scientific article; zbMATH DE number 3230245 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Intuitionistic modal logics incompatible with the law of the excluded middle
• On formulas of one variable in intuitionistic propositional calculus

Cited in

(5)

• Nishimura formulas as one-place logical connectives in the elementary theory of Kripke models
• Formalizing Moessner's theorem and generalizations in \textsc{Nuprl}
• A note concerning the intuitionistic modal logic \({\text{\textbf{IMK}}}_k\)
• scientific article; zbMATH DE number 3853039 (Why is no real title available?)
• scientific article; zbMATH DE number 5221470 (Why is no real title available?)

This page was built for publication: An application of Rieger-Nishimura formulas to the intuitionistic modal logics

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