Skip to main content
SpringerLink
Log in

Interpolation and Amalgamation; Pushing the Limits. Part II

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

This is the second part of the paper [Part I] which appeared in the previous issue of this journal.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. 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. H. AndrÉka, S. D. Comer and I. EÉmeti, ‘Epimorphisms in cylindric algebras’, manuscript (1983).

  3. H. AndrÉka, Á. 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. H. AndrÉka and I. NÉmeti, ‘Craig's Interpolation does not imply amalgamation, after all’, manuscript (1994).

  5. H. AdrÉka, I. NÉmeti and I. Sain, ‘Abstract model theoretic approach to algebraic logic’, preprint (1984). New version: H. Adréka, I. Németi, 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.

  6. H. AndrÉka, I. NÉmeti and I. Sain, ‘On Interpolation, amalgamation, universal algebra and Boolean algebras with operators’, Mathematical Institute, Budapest, preprint (1994).

    Google Scholar 

  7. 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).

  8. W. J. Blok and D. Pigozzi, Algebraizable logics, Memoirs Amer. Math. Soc., vol. 77,no. 396, 1989.

  9. W. J. Blok and D. Pigozzi, ‘Abstract algebraic logic’, Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear).

  10. 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.

  11. 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.

    Google Scholar 

  12. J. M. Font and R. Jansana, ‘A comparison of two general approaches to the algebraization of logics’, Proceedings of the Summer School of Algebraic Logic, Kluwer (to appear).

  13. D. M. Gabbay, What is a Logical System?, Calendron Press, Oxford, 1994.

    Google Scholar 

  14. G. GrÄtzer, Lattice Theory (first concept and distributive lattices), W. H. Freeman and Company, San Francisco, 1971.

    Google Scholar 

  15. G. GrÄtzer, Universal Algebra, second edition, Springer-Verlag, New York, 1979.

    Google Scholar 

  16. 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.

    Google Scholar 

  17. E. W. Kiss, L. MÁrki, P. PrÖhle and W. Tholen, ‘Categorial algebraic properties. A compendium on amalgamation, congruence extension, epimorphisms, residual smallness, and injectivity’, Studia Sci. Math. Hungar. 18 (1983), 79–141.

    Google Scholar 

  18. P. KÖhler and D. Pigozzi, ‘Varieties with equationally definable principal congruences’, Algebra Universalis 11 (1980), 213–219.

    Google Scholar 

  19. 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).

  20. J. X. MadarÁsz, ‘Epimorphisms in discriminator varieties’ (in preparation).

  21. J. X. MadarÁsz, ‘Interpolation and amalgamation; pushing the limits. Part I’, Studia Logica vol. 61,no. 3 (1998), 311–345.

    Google Scholar 

  22. L. L. Maksimova, ‘On variable separation in modal and superintuitionistic logics’, Studia Logica vol. 55 (1995), 99–112.

    Google Scholar 

  23. L. L. Maksimova, ‘On variable separation in modal logics’, Bulletin of the Section of Logic vol. 24,no. 1 (1995), 21–25.

    Google Scholar 

  24. I. NÉmeti and H. AnadrÉ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.

    Google Scholar 

  25. D. Pigozzi, ‘Amalgamation, congruence extension and interpolation properties in algebras’, Algebra Universalis 1(3) (1972), 269–394.

    Google Scholar 

  26. I. Sain, ‘Strong amalgamation and epimorphisms of cylindric algebras and Boolean algebras with operators’, preprint, Math. Inst. Hungar. Acad. Sci. (1979, revised 1982).

Download references

Authors
  1. Judit X. Madarász
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

About this article

Cite this article

Madarász, J.X. Interpolation and Amalgamation; Pushing the Limits. Part II. Studia Logica 62, 1–19 (1999). https://doi.org/10.1023/A:1005119811423

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005119811423

Search

Navigation