Abstract
Projective Beth properties in superintuitionistic and normal modal logics are considered. Their interrelations and connections with interpolation properties of the logics are established. Algebraic counterparts for the projective Beth properties are found out.
Similar content being viewed by others
References
L. L. Maksimova, “The Beth properties, interpolation, and amalgamability in varieties of modal algebras,”Dokl. Acad. Nauk SSSR,319, No. 6, 1309–1312 (1991).
L. L. Maksimova, “Modal logics and varieties of modal algebras: Beth properties, interpolation, and amalgamation,”Algebra Logika,31, No. 2, 145–166 (1992).
J. Barwise and S. Feferman (eds.),Model-Theoretic Logics, Springer, New York (1985).
W. Craig, “Three uses of Herbrand-Gentzen theorem in relating model theory,”J. Symb. Log.,22, 269–285 (1957).
L. L. Maksimova, “An analog for the Beth theorem in normal extensions of modal logic K4,”Sib. Mat. Zh.,33, No. 6, 118–130 (1992).
L. L. Maksimova, “Interpolation theorems in modal logics and amalgamable varieties of topoboolean algebras,”Algebra Logika,18, No. 5, 556–586 (1979).
L. L. Maksimova, “Interpolation theorems in modal logics. Sufficient conditions,”Algebra Logika,18, No. 2, 194–213 (1980).
H. Rasiowa and R. Sikorski,The Mathematics of Metamathematics, Monografien Matematyczne, Warsaw (1963).
W. J. Blok, “Pretabular varieties of modal algebras,”Stud. Log.,39, Nos. 2/3, 101–124 (1980).
J. Czelakowski, “Logical matrices and the amalgamation property,”Stud. Log.,41, No. 4, 329–341 (1982).
L. Henkin, J. D. Monk, and A. Tarski,Cylindric Algebras, Part II, North-Holland, Amsterdam (1985).
G. Kreisel, “Explicit definability in intuitionistic logic,”J. Symb. Log.,25, No. 4, 389–390 (1960).
L. L. Maksimova, “Craig’s theorem in superintuitionistic logics and amalgamable varieties of pseudoboolean algebras,”Algebra Logika,16, No. 6, 643–681 (1977).
L. Maksimova and V. V. Rybakov, “Lattices of normal modal logics,”Algebra Logika,13, No. 2, 188–216 (1974).
Additional information
Supported by the Russian Humanitarian Science Foundation, grant No. 97-03-04089.
Translated fromAlgebra i Logika, Vol. 38, No. 3, pp. 316–333, May–June, 1999.
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Projective beth properties in modal and superintuitionistic logics. Algebr Logic 38, 171–180 (1999). https://doi.org/10.1007/BF02671741
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02671741