Skip to main content
SpringerLink
Log in

Equivalential logics (I)

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The class of equivalential logics comprises all implicative logics in the sense of Rasiowa [9], Suszko's logicSCI and many Others. Roughly speaking, a logic is equivalential iff the greatest strict congruences in its matrices (models) are determined by polynomials. The present paper is the first part of the survey in which systematic investigations into this class of logics are undertaken. Using results given in [3] and general theorems from the theory of quasi-varieties of models [5] we give a characterization of all simpleC-matrices for any equivalential logicC (Theorem I.14). In corollaries we give necessary and sufficient conditions for the class of all simple models for a given equivalential logic to be closed under free products (Theorem I.18).

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. S. L. Bloom,Some theorems on structural consequence operations,Studia Logica 34 (1975), pp. 1–9.

    Article  Google Scholar 

  2. D. J. Brown andR. Suszko,Abstract Logics,Dissertationes Mathematicae CII, PWN, Warszawa 1973.

    Google Scholar 

  3. J. Czelakowski,Reduced products of logical matrices,Studia, Logica 39 (1980), pp. 19–43.

    Article  Google Scholar 

  4. G. Grätzer andH. Lakser,Some new relations on operators in general and for pseudocomplemented distributive lattices in particular,Notices of the American Mathematical Society 17 (1970), p. 642.

    Google Scholar 

  5. A. I. Mal'cev,Algebraic Systems, Akademie-Verlag, Berlin 1973.

    Google Scholar 

  6. A. I. Mal'cev,The Metamathematics of Algebraic Systems, North-Holland 1971.

  7. J. Porté,Recherches sur la théorie générale des systémes formals et sur les systémes connectives, Gauthier-Villars, Paris 1965.

    Google Scholar 

  8. T. Prucnal andA. Wroński,An algebraic characterization of the notion of structural completeness,Bulletin of the Section of Logic 3 (1974), pp. 30–33.

    Google Scholar 

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

    Google Scholar 

  10. R. Wójcicki,Logical matrices strongly adequate for structural sentential calculi,Bulletin de l'Académie Polonaise des Sciences, Série des sci. math. astr. et physiques 6 (1969), pp. 333–335.

    Google Scholar 

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

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. The Section of Logic, Polish Academy of Sciences Institute of Philosophy and Sociology, Szewska 36, 50-139, Wrocław, 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. Equivalential logics (I). Stud Logica 40, 227–236 (1981). https://doi.org/10.1007/BF02584057

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation