Literature cited
V. Ya. Gerchiu and A. V. Kuznetsov, "On varieties of pseudoboolean algebras defined by an identity of bounded length," in: The 9th All-Union Algebraic Coll. [in Russian], Gomel (1968), pp. 54–56.
M. V. Zakhar'yashchev, "Some classes of intermediate logics," Preprint IPM AN SSSR, No. 160 (1981).
M. V. Zakhar'yashchev, "On intermediate logics," Dokl. Akad. Nauk SSSR,269, No. 1, 18–22 (1983).
M. V. Zakhar'yashchev, "Normal modal logics containing S4," Dokl. Akad. Nauk SSSR,275, No. 3, 537–540 (1984).
M. V. Zakhar'yashchev, "Syntax and semantics of modal logics containing S4," Algebra Logika,27, No. 6, 659–689 (1988).
L. L. Maksimova, "Pretabular superintuitionistic logics," Algebra Logika,11, No. 5, 558–570 (1972).
L. L. Maksimova, "Modal logics of finite fibers," Algebra Logika,14, No. 3, 304–319 (1975).
L. L. Maksimova, "Interpolation properties of superintuitionistic, positive, and modal logics," in: Modal and Intensional Logics," [in Russian], Nauka, Moscow, pp. 81–88.
L. L. Maksimova and V. V. Rybakov, "On the lattice of normal modal logics," Algebra Logika,13, No. 2, 188–216 (1974).
E. Rasiowa and R. Sikorski, Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972).
V. V. Rybakov, "Noncompact extensions of the logic S4," Algebra Logika,16, No. 4, 472–490 (1977).
V. B. Shekhtman, "Topological models of propositional logics," Semiotics and Informatics,12, 74–98 (1980).
L. L. Ésakia, "On modal counterparts of superintuitionistic logics," in: the 7th All-Union Symposium on Logics and Methodology of Science [in Russian], Kiev (1976), pp. 135–136.
L. L. Ésakia, "To the theory of modal and superintuitionistic systems," in: Logical Inference [in Russian], Nauka, Moscow (1979), pp. 147–172.
V. A. Yankov, "Conjunctively irreducibile formulas in propositional calculi," Izv. Akad. Nauk SSSR, Ser. Mat,33, No. 1, 18–38 (1969).
M. A. Dummett, "A propositional calculus with denumerable matrix," J. Symb. Logic,24, No. 2, 97–106 (1959).
M. A. Dummett and E. J. Lemmon, "Modal logics between S4 and S5," Z. Math. Logik Grundl. Math.,5, 250–264 (1959).
K. Fine, "Logics containing K4, Part 1," J. Symb. Logic,39, No. 1, 31–42 (1974).
K. Fine, "Logics containing K4, Part 2," J. Sumb. Logic,50, No. 3, 619–651 (1985).
T. Hosoi, "On intermediate logics, I", J. Fac. Sci. Univ. Tokyo, Sec. I,14, 293–312 (1967).
C. G. McKay, "The decidability of certain intermediate logics," J. Symb. Logic,33, No. 2, 258–264 (1968).
J. C. C. McKinsey and A. Tarski, "Some theorems about the sentential calculi of Lewis and Heyting," J. Symb. Logic,13, No. 1, 1–15 (1948).
P. S. Novikov, Constructive Mathematical Logic from Classical Point of View [in Russian], Nauka, Moscow (1977).
Additional information
Translated from Algebra i Logika, Vol. 28, No. 4, pp. 402–429, July–August, 1989.
Rights and permissions
About this article
Cite this article
Zakhar'yashchev, M.V. Syntax and semantics of superintutionistic logics. Algebra and Logic 28, 262–282 (1989). https://doi.org/10.1007/BF01982017
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01982017