Interpolation and amalgamation; pushing the limits. Part II

Studia Logica

Volumn 62, Issue 1, 1999, Pages 1-19

  Madarász, Judit X ^a  

^a ALFRÉD RÉNYI INSTITUTE OF MATHEMATICS   (Hungary)

Author keywords

Algebraic logic; Algebraizable logics; Amalgamation property; Boolean algebras with operators; Craig interpolation property; Discriminator varieties; General theory of logics; Modal logics; Multi modal logics; Superamalgamation property

Indexed keywords

EID: 4544328804     PISSN: 00393215     EISSN: 15728730     Source Type: Journal    
DOI: 10.1023/A:1005119811423     Document Type: Article

References (27)

1. [ABNPS] H. ANDRÉKA, W. BLOK, I. NÉMETI, D. PIGOZZI and I. SAIN, 'Abstract algebraic logic', chapter for the Handbook of Algebraic Logic (in preparation).
2. [ACN 83] H. ANDRÉKA, S. D. COMER and I. NÉMETI, 'Epimorphisms in cylindric algebras', manuscript (1983).
3. [AKNS 94] H. ANDRÉKA, A. KURUCZ, I. NÉMETI and I. SAIN, 'Applying algebraic logic. A general methodology', Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear). Shortened version of this appeared as 'Applying algebraic logic to logic' in Algebraic Methodology and Software Technology, eds. M. NIVAT et al., Springer-Verlag, 1994, 5-26.
4. [AN 94] H. ANDRÉKA and I. NÉMETI, 'Craig's Interpolation does not imply amalgamation, after all', manuscript (1994).
5. [ANS 84] H. ADRÉKA, I. NÉMETI and I. SAIN, 'Abstract model theoretic approach to algebraic logic', preprint (1984).
6. New version: H. Adréa, I. Némti, I. Sain and Á. Kurucz, 'General algebraic logic including algebraic model theory: an overview', in: Logic Colloquium'92 (Proc. 1992 Summer Meeting of Assoc, Symb, Log., eds. D. Gabbay and L. Csirmaz, CSLI Publications, Stanford, 1995, 1-60.
7. [ANS 94a] H. ANDRÉKA, I. NÉMETI and I. SAIN, 'On Interpolation, amalgamation, universal algebra and Boolean algebras with operators', Mathematical Institute, Budapest, preprint (1994).
8. [ANS 97] H. ANDRÉKA, I. NÉMETI and I. SAIN, 'Algebraic logic', in: Handbook of Philosophical Logic, second edition, vol. I, ed. D. M. Gabbay, Kluwer Publisher, 1997 (to appear).
9. [BP 89] W. J. BLOK and D. PIGOZZI, Algebraizable logics, Memoirs Amer. Math. Soc., vol. 77, no. 396, 1989.
10. [BP] W. J. BLOK and D. PIGOZZI, 'Abstract algebraic logic', Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear).
11. [Com 86] S. D. COMER, 'Epimorphisms in discriminator varieties', in: Lectures in Universal Algebra, eds. L. Szabó and A. Szendrei, Colloquia Mathematica Societatis, János Bolyai, 43, Published by János Bolyai Mathematical Society and Elsevier Science Publishers BV, 1986.
12. [FJ 94] J. M. FONT and R. JANSANA, 'On the sentential logics associated with strongly nice and semi-nice general logics', Bulletin of the IGPL vol. 2, no. 1 (1994), 55-76.
13. [FJ] J. M. FONT and R. JANSANA, 'A comparison of two generai approaches to the algebraization of logics', Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear).
14. [Gab 94] D. M. GABBAY, What is a Logical System?, Calendron Press, Oxford, 1994.
15. [Gr 71] G. GRĀTZER, Lattice Theory (first concept and distributive lattices), W. H. Freeman and Company, San Francisco, 1971.
16. [Gr 79] G. GRÄTZER, Universal Algebra, second edition, Springer-Verlag, New York, 1979.
17. [Gy 96] V. GYURIS, 'Associativity does not imply undecidability without the axiom of modal distribution', in: Arrow Logic and Multi-Modal Logic, M. Marx, L. Polos, M. Masuch (eds.), Studies in Logic, Language and Information, CSLI Publications and Folli, Stanford, 1996, 101-108.
18. [KMPT 83] E. W. Kiss, L. MÁRKI, P. PRÖHLE and W. THOLBN, 'Categorial algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity', Studio, Sci. Math. Hungar. 18 (1983), 79-141.
19. [KP 80] P. KÖHLER and D. PIGOZZl, 'Varieties with equationally definable principal congruences', Algebra Universalis 11 (1980), 213-219.
20. [Mad] J. X. MADARÁSZ, 'Interpolation in algebraizable logics; semantics for non normal multi-modal logic', J. of Applied Non-Classical Logics vol. 8, no. 1-2 (1998).
21. [Mad a] J. X. MADARÁSZ, 'Epimorphisms in discriminator varieties' (in preparation).
22. [Part I] J. X. MADARÁSZ, 'Interpolation and amalgamation; pushing the limits. Part I', Studia Logica vol. 61, no. 3 (1998), 311-345.
23. [Mak 95a] L. L. MAKSIMOVA, 'On variable separation in modal and superintuitionistic logics', Studio, Logica vol. 55 (1995), 99-112.
24. [Mak 95b] L. L. MAKSIMOVA, 'On variable separation in modal logics', Bulletin of the Section of Logic vol. 24, no. 1 (1995), 21-25.
25. [NA 94] I. NÉMETI and H. ANDRÉKA, 'General algebraic logic. A perspective on What is logic', in What is a Logical System?, ed. D. Gabbay, Clarendon Press, Oxford, 1994, 394-443.
26. [Pi 72] D. PIGOZZI, 'Amalgamation, congruence extension and interpolation properties in algebras', Algebra Universalis 1(3) (1972), 269-394.
27. [Sai 82] I. SAIN, 'Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators', preprint, Math. Inst. Hungar. Acad. Sci. (1979, revised 1982).