Skip to main content
SpringerLink
Log in

I n -symmetrical Heyting algebras

  • Published:
algebra universalis Aims and scope Submit manuscript

Abstract

In [11, p. 210] A. Monteiro suggested the possibility of generalizing the results of L. Iturrioz [4] to theI n -symmetrical Heyting algebras which he namedI n -algebras. We prove that these algebras are semi-simple. We characterize simple algebras and their subalgebras. Finally, we determine the structure of theI n -algebra with a finite set of free generators and we give an answer to one of the problems posed by A. Monteiro.

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. Bialynicki-Birula, A. andRasiowa, H.,On the representation of quasi-Boolean algebras. Bull. Acad. Pol. Sc., Cl. III,5 (1957), 259–261.

    Google Scholar 

  2. Birkhoff, G.,On the combination of subalgebras. Proc. Camb. Soc.29 (1933), 441–464.

    Google Scholar 

  3. Birkhoff, G.,Lattice Theory. Amer. Math. Soc. Colloq. Pub.25, 3rd ed., Providence (1967).

    Google Scholar 

  4. Iturrioz, L.,Algèbres de Heyting involutives. Notas de Lógica Matemática31 (1974). Instituto de Matemática, Universidad Nacional del Sur, Bahía Bianca, Argentina.

    Google Scholar 

  5. Kalman, J. A.,Ph.D. Thesis. Harvard University (1955).

  6. Kalman, J. A.,Lattices with involution. Trans. Amer. Math. Soc.57 (1958), 485–49.

    Google Scholar 

  7. Moisil, Gr. C.,Recherches sur l'algèbre de la logique. Ann. Sc. de Jassy22 (1935), 1–117.

    Google Scholar 

  8. Monteiro, A.,Axiomes independants pour les algèbres de Brouwer. Rev. de la Unión Matemática Argentina17 (1955), 149–160.

    Google Scholar 

  9. Monteiro, A.,Matrices de Morgan Caractéristiques pour le Calcul Propositionel Classique An. Acad. Brasil, Cienc.52 (1960), 1–7.

    Google Scholar 

  10. Monteiro, A.,Algebras de De Morgan. Lectures given at the Universidad Nacional del Sur, Bahía Blanca, Argentia (1966).

    Google Scholar 

  11. Monteiro, A.,Sur les algèbres de Heyting Symétriques. Portugaliae Math.39 (1980), 1–237.

    Google Scholar 

  12. Monteiro, L.,Algebras de Lukasiewicz Trivalentes Monádicas. Notas de Lógica Matemática32 (1974). Instituto de Matemática, Universidad Nacional del Sur, Bahía Bianca, Argentia.

    Google Scholar 

  13. Monteiro, L. Algèbres de Boole Monadiques Libres. Algebra Universalis.8 (1978), 374–380.

    Google Scholar 

  14. Savini, S.,Sewald, J. andZiliani, A.,Algebras de Heyting Simétricas I n . Communication to the Annual Meeting of the Union Matemática Argentina (1987) (To appear).

  15. Thomas, I.,Finite limitation on Dummett's L. C. Notre Dame J. of Formal Logic3 (1962), 170–174.

    Google Scholar 

  16. Ward, M. Structure residuation. Annals of Math.33 (1938), 558–568.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INMABB-CONICET and Departamento de Matemática, Universidad Nacional del Sur, Av. Alent 1253, 8000, Bahía Blanca, Argentina

    Sonia Savini, Julio Sewald & Alicia Ziliani

Authors
  1. Sonia Savini
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Julio Sewald
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Alicia Ziliani
    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

Savini, S., Sewald, J. & Ziliani, A. I n -symmetrical Heyting algebras. Algebra Universalis 29, 503–512 (1992). https://doi.org/10.1007/BF01190777

Download citation

  • Received:

  • Revised:

  • Issue Date:

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

Keywords

Search

Navigation