Article PDF
Avoid common mistakes on your manuscript.
Literature cited
I. C. C. McKinsey and A. Tarski, “Some theorems about the sentential calculi of Lewis and Heyting,” J. Symb. Log.,13, No. 1, 1–15 (1948).
I. Lukasiewicz, “On the intuitionistic theory of deduction,” Indag. Math.,14, No. 2, 202–212 (1952).
T. Hosoi and H. Ono, “Intermediate propositional logics (a survey),” J. Tsuda Coll., No. 1, 67–82 (1973).
L. L. Maksimova, “Remarks on the disjunctive property in superintuitionist logics,” in: Semiotic Aspects of the Formalization of Intellectual Activity. School-Seminar. Telavi, 29 October-6 November, 1983. Abstracts of Lectures [in Russian], VINITI, Moscow (1983), pp. 83–85.
V. L. Gudovshchikov and V. V. Rybakov, “The disjunctive property in modal logics,” in: Materials for the Seventh All-Union Conference on Logic and the Methodology of Science, Vilnius, 1982 [in Russian], IFAN, Moscow (1982), pp. 35–36.
B. Jonsson and A. Tarski, “Boolean algebras with operators,” Am. J. Math.,73, No. 4, 891–939 (1951).
M. A. E. Dummett and E. J. Lemmon, “Modal logics between S4 and S5,” Z. Math. Logik und Grundl. Math., No. 3/4, 250–264 (1959).
M. V. Zakhar'yashchev, “Normal modal logics containing S4,” Dokl. Akad. Nauk SSSR,275, No. 3, 537–540 (1984).
M. V. Zakhar'yashchev, “On intermediate logics,” Dokl. Akad. Nauk SSSR,269, No. 1, 18–22 (1983).
C. G. McKay, “The decidability of certain intermediate logics,” J. Symb. Logic,33, No. 2, 258–264 (1968).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 42, No. 5, pp. 729–738, November, 1987.
Rights and permissions
About this article
Cite this article
Zakhar'yashchev, M.V. Disjunctive property of superintuitionist and modal logics. Mathematical Notes of the Academy of Sciences of the USSR 42, 901–905 (1987). https://doi.org/10.1007/BF01137437
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01137437