Literature cited
A. D. Yashin, “Nishimura's formulas as one-place logical connectives in the elementary theory of Kripke models,” Vestn. Mosk. Gos. Univ. Ser. 1, Mat. Mekh., No. 5, 12–15 (1984).
A. D. Yashin, “Semantic characterization of intuitionistic logical connectives,” Mat. Zametki,38, No. 1, 157–166 (1985).
A. D. Yashin, “Semantic characterization of connectives in Heyting-Brouwer logic,” Proceedings of All-Union Conference on Applied Logic, Novosibirsk (1985), 237–239.
C. Rauszer, “Applications of Kripke models to Heyting-Brouwer logic,” Stud. Logica,36, No. 1–2, 61–71 (1977).
C. Rauszer, “Model theory for an extension of intuitionistic logic,” Stud. Logica,36, No. 1–2, 73–87 (1977).
L. L. Maksimova, “Pretabular superintuitionistic logics,” Algebra Logika,11, No. 5, 558–570 (1972).
V. H. Sotirov, “Modal theories with intuitionistic logic,” in: Proc. Conference on Mathematical Logic, Sofia (1984), pp. 139–171.
J. Keisler and C. C. Chen, Model Theory [Russian translation], Mir, Moscow (1977).
J. Sax, Theory of Saturated Models [Russian translation], Mir, Moscow (1976).
K. Shutte, “Complete systems of modal and intuitionistic logic,” in: R. Phipps, Modal Logic [Russian translation], Nauka, Moscow (1976).
D. M. Gabbay, “Model theory for intuitionistic logic,” Z. Math. Logik Grundl. Math.,18, No. 1, 49–54 (1972).
Author information
Authors and Affiliations
Additional information
Translated from Matematicheskie Zametki, Vol. 45, No. 5, pp. 103–113, May, 1989.
Rights and permissions
About this article
Cite this article
Yashin, A.D. Semantic characterization of certain sets of intuitionistic logical connectives. Mathematical Notes of the Academy of Sciences of the USSR 45, 420–428 (1989). https://doi.org/10.1007/BF01157938
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01157938