Abstract
The main results of the paper are the following: For each monadic prepositional formula φ which is classically true but not intuitionistically so, there is a continuum of intuitionistic monotone modal logics L such that L+φ is inconsistent.
There exists a consistent intuitionistic monotone modal logic L such that for any formula φ of the kind mentioned above the logic L+φ is inconsistent.
There exist at least countably many maximal intuitionistic monotone modal logics.
Similar content being viewed by others
References
A. V. Kuznecov and V. Gerčiu, Superintuitionistic Logics and Finite Approximability, Doklady Akademii Nauk SSSR 195 (1970)
D. Makinson, Some embedding theorems for modal logics, Notre Dame Journal of Formal Logics, 12 (1971), pp. 252–254.
I. Nishimura, On formulas of one variable in intuitionistic prepositional calculus, The Journal of Symbolic Logic, 25 (1960), pp. 327–331.
H. Rasiowa and K. Sikorski, The Mathematics of Metamathematics, Warsaw 1963.
L. Rieger, On lattice theory of Brouwerian propositional logic, Acta Facultatis Rerum Naturalium Universitatis Carolinae 189 (1949), pp. 1–40.
A. S. Troelstra, On intermediate propositional logics, Indagationes Mathematicae, 27 (1965), pp. 141–152.
V. Tselkov, Intuitionistic modal logics contradicting the Rieger-Nishimura logics, in Mathematics and Education in Mathematics, 1983, Proceedings of the 12 spring conference of the Union of Bulgarian Mathematicians, Sunny Beach, April 6–9.
D. Vakarelov, Intuitionistic modal logics incompatible with the law of the excluded middle, Studia Logica, XL, 2 (1981), pp. 103–111.
A. Wroński, On cardinality of matrices strongly adequate for the intuitionistic propositional logic, Reports on Mathematical Logic, 3 (1974), pp. 67–72.
A. Wroński and J. Zygmunt, Remarks on the free pseudo-Boolean algebra with one-element free-generating set, Reports on Mathematical Logic, 2 (1974), pp. 77–81.
Author information
Authors and Affiliations
Additional information
The author appreciates very much referees' suggestions which helped to improve the exposition.
Rights and permissions
About this article
Cite this article
Vakarelov, D. An application of Rieger-Nishimura formulas to the intuitionistic modal logics. Stud Logica 44, 79–85 (1985). https://doi.org/10.1007/BF00370811
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF00370811