Skip to main content
SpringerLink
Log in

P1 algebras

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

In [3] the authors proved that the deductive systemP1 introduced by Sette in [6] is algebraizable. In this paper we study the main features of the class of algebras thus obtained. The main results are a complete description of the free algebras inn generators and that this is not a congruence modular quasi-variety.

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. W. J. Blok andD. Pigozzi,Algebraizable logics Memoirs AMS. 77 396 (1989).

    Google Scholar 

  2. N. C. A. da Costa,On the theory of inconsistent formal systems Notre Dame Journal of Formal Logic 15 4 (1974), pp. 497–510.

    Google Scholar 

  3. R. A. Lewin, I. F. Mikenberg andM. G. Schwarze,Algebraization of paraconsistent logic P 1 The Journal of Non-Classical Logic 7 1/2 (1990).

    Google Scholar 

  4. R. A. Lewin, I. F. Mikenberg andM. G. Schwarze,C 1 is not algebraizable Notre Dame Journal of Formal Logic 32 4 (1991), pp. 609–611.

    Google Scholar 

  5. C. Mortensen,Every quotient algebra for C 1 is trivial Notre Dame Journal of Formal Logic 21 4 (1980), pp. 694–700.

    Google Scholar 

  6. M. A. Sette,On the propositional calculus P 1 Mathematica Japonicae 16 (1973), pp. 173–180.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Matemáticas, Pontificia Universidad Católica de Chile, Casilla 306 — Correo 22, Santiago, Chile

    Renato A. Lewin, Irene F. Mikenberg & Maria G. Schwarze

Authors
  1. Renato A. Lewin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Irene F. Mikenberg
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maria G. Schwarze
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

This paper was funded by Fondecyt 814/91.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Lewin, R.A., Mikenberg, I.F. & Schwarze, M.G. P1 algebras. Stud Logica 53, 21–28 (1994). https://doi.org/10.1007/BF01053020

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation