Abstract
Interconnections between syntactic and categorical properties of equational theories are established. The notions of restricted interpolation and of restricted amalgamation are introduced and their equivalence proved; interrelations of the above-mentioned properties and the projective Beth property, interpolation, and amalgamation are studied.
Similar content being viewed by others
REFERENCES
L. L. Maksimova, “Intuitionistic logic and implicit definability, ” Ann. Pure Appl. Log., 105, Nos. 1–3, 83–102 (2000).
D. Pigozzi, “Amalgamation, congruence extension and interpolation properties in algebras. ” Alg. Univ., 1, No. 3, 269–349 (1972).
I. Sain, “Beth's and Craig's properties via epimorphisms and amalgamation in algebraic logic, ” in Algebraic Logic and Universal Algebra in Computer Science, Lect. Notes Comp. Sc., Vol. 425, Springer, Berlin (1990), pp. 209–226.
L. L. Maksimova, “Modal logics and varieties of modal algebras: the Beth property, interpolation and amalgamation, ” Algebra Logika, 31, No. 2, 145–166 (1992).
J. Czelakowski and D. Pigozzi, “Amalgamation and interpolation in abstract algebraic logic, ” in Models, Algebras and Proofs, Sel. Papers X Latin Am. Symp. Math. Log. Held Bogota, Lect. Notes Pure Appl. Math., Vol. 203, Marcel Dekker, New York (1999), pp. 187–265.
A. Wronski, “On a form of equational interpolation property, ” in Foundations of Logic and Linguistics, Problems and Solution, Sel. Contr. 7th Int. Cong., Plenum, London (1985), pp. 23–29.
L. Maksimova, “Explicit and implicit definability in modal and related logics, ” Bull. Sect. Log., Univ. Łodź, Dep. Log., 27, Nos. 1/2, 36–39 (1998).
E. Hoogland, “Definability and interpolation. Model-theoretic investigations, ” ILLC Dissertation Series, DS-2001–05, Amsterdam (2001).
Model-Theoretic Logics, J. Barwise and S. Feferman (eds.), Springer, New York (1985).
P. D. Bacsich, “Amalgamation properties and interpolation theorems for equational theories, ” Alg. Univ., 5, No. 1, 45–55 (1975).
B. Jonsson, “Extensions of relational structures, ” in Theory of Models, Proc. Int. Symp., Berkeley, North-Holland, Amsterdam (1965), pp. 146–157.
H. Ono, “Interpolation and the Robinson property for logics not closed under the Boolean operations, ” Alg. Univ., 23, No. 2, 111–122 (1986).
L. L. Maksimova, “Projective Beth properties in modal and superintuitionistic logics, ” Algebra Logika, 38, No. 3, 316–333 (1999).
A. I. Mal'tsev, Algebraic Systems [in Russian], Nauka, Moscow (1970).
G. Grätzer and H. Lakser, “The structure of pseudocomplemented distributive lattices. II, Congruence extension and amalgamation, ” Trans. Am. Math. Soc., 156, 343–358 (1971).
T. Kowalski and H. Ono, “Splittings in the variety of residuated lattices, ” Alg. Univ., 44, 283–298 (2000).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Maksimova, L.L. Restricted Interpolation and the Projective Beth Property in Equational Logic. Algebra and Logic 42, 398–406 (2003). https://doi.org/10.1023/B:ALLO.0000004173.52981.15
Issue Date:
DOI: https://doi.org/10.1023/B:ALLO.0000004173.52981.15