Skip to main content
SpringerLink
Log in

Logical matrices and the amalgamation property

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The main result of the present paper — Theorem 3 — establishes the equivalence of the interpolation and amalgamation properties for a large family of logics and their associated classes of matrices.

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. P. D. Bacsich, Amalgamation properties and interpolation theorems for equational theories, Algebra Universalis, Vol. 5 (1975), pp. 45–55.

    Google Scholar 

  2. D. Bryars, On the syntactic characterisation of some model theoretic relations, Ph. D. Thesis, London, 1973.

  3. J. Czelakowski, Equivalential logics, Part I. Studia Logica, Vol. XL, No. 3 (1981), pp. 227–236; Part II. Studia Logica, Vol. XL, No. 4 (1981), pp. 353–370.

    Google Scholar 

  4. A. Daigneault, Freedom in polyadic algebras and two theorems of Beth and Craig, Michigan Mathematical Journal, Vol 11 (1964), pp. 129–135.

    Article  Google Scholar 

  5. J. Łoś and R. Suszko, Remarks on sentential logics, Indagationes Mathematicae, Vol. 20, No. 2 (1958), pp. 177–183.

    Google Scholar 

  6. L. L. Maksimova, The Craig's theorem in superintuitionistic logics and amalgamated properties of varieties of pseudo-Boolean algebras (in Russian), Algebra i Logika, Vol. 16, No 6 (1977), pp. 643–681.

    Google Scholar 

  7. L. L. Maksimova, Interpolations theorems in modal logics and amalgamated properties of varieties of topological Boolean algebras (in Russian), Algebra i Logika, Vol. 18, No. 5 (1979), pp. 556–586.

    Google Scholar 

  8. G. Malinowski and M. Michalczyk, Interpolations properties for a class of many-valued propositional calculi, Bulletin of the Section of Logic, IFiS PAN, Vol. 10, No. 1 (1981), pp. 9–16.

    Google Scholar 

  9. J. Perzanowski, The deduction theorems for the modal propositional calculi formalized after the manner of Lemmon (I). Reports on Mathematical Logic. Vol. 1 (1973), pp. 1–12.

    Google Scholar 

  10. D. Pigozzi, Amalgamation, congruence-extension, and interpolation properties in algebras, Algebra Universalis, Vol. 1 (1971), pp. 269–349.

    Google Scholar 

  11. H. Rasiowa, An Algebraic Approach to Non-Classical Logics, North-Holland and PWN, Amsterdam-Warszawa 1974.

    Google Scholar 

  12. D. J. Shoesmith and T. J. Smiley, Deducibility and many-valuedness, Journal of Symbolic Logic, Vol. 36, No. 4 (1971), pp. 610–622.

    Google Scholar 

  13. R. Wójcicki, Matrix approach in sentential calculi, Studia Logica, Vol. XXXII (1973), pp. 7–37.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Section of Logic, Polish Academy of Sciences, 179, Łódź, Piotrkowska, Poland

    Janusz Czelakowski

Authors
  1. Janusz Czelakowski
    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

Czelakowski, J. Logical matrices and the amalgamation property. Stud Logica 41, 329–341 (1982). https://doi.org/10.1007/BF00403332

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00403332

Keywords

Search

Navigation