Literature cited
P. S. Aleksandrov, Introduction to Set Theory and General Topology [in Russian], Nauka, Moscow (1972).
N. Bourbaki, General Topology. Fundamental Structures, Addison-Wesley (1967).
T. Jech, Set Theory and the Method of Forcing [Russian translation], Mir, Moscow (1973).
A. V. Kuznetsov, "On superintuitionistic logics," Mat. Issled.,10, No. 2, 150–158 (1975).
A. G. Kurosh, Lectures in General Algebra [in Russian], Nauka, Moscow (1973).
A. Yu. Muravitskii, "On superintuitionistic logics determined by compressed topological spaces," Sib. Mat. Zh., Deposited with VINITI, No. 2582–82 Dep.
E. Rasiowa and R. Sikorskii, Mathematics of Metamathematics [Russian translation], Nauka, Moscow (1972).
S. K. Sobolev, "On finite-dimensional superintuitionistic logics," Izv. Akad. Nauk SSSR, Ser. Mat.,41, No. 5, 963–986 (1977).
V. B. Shekhtman, "Topological models of propositional logics," Semiotika Informatika,15, 74–98 (1980).
K. Fine, "Logics containing K4. Part I," J. Symb. Logic,39, No. 1, 31–42 (1974).
Additional information
The present article is a revised version of a part of the article [6].
Translated from Algebra i Logika, Vol. 22, No. 3, pp. 276–296, May–June, 1983.
Rights and permissions
About this article
Cite this article
Muravitskii, A.Y. Comparison of the topological and relational semantics of superintuitionistic logics. Algebra and Logic 22, 197–213 (1983). https://doi.org/10.1007/BF01978980
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01978980