Skip to main content
SpringerLink
Log in

Symmetrical Heyting algebras with a finite order type of operators

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

The main purpose of this paper is to introduce a class of algebraic structures related to many-valued Łukasiewicz algebras. They are symmetrical Heyting algebras with a set of modal operators indexed by a finite completely symmetric poset. A representation theorem is given for these (not functionally complete) algebras.

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. Ng. Cat Ho and H. Rasiowa, Plain semi-Post algebras as a poset-based generalization of Post algebras and their representatibility,Studia Logica 48 (1989), pp. 509–530.

    Google Scholar 

  2. R. Cignoli, Moisil algebras,Notas de Lógica Matemática n o27, Universidad Nacional del Sur, Bahía Blanca, Argentina, 1970.

    Google Scholar 

  3. L. Iturrioz, Łukasiewicz and symmetrical Heyting algebras,Zeitschr. f. math. Logik und Grundlagen d. Math. 23 (1977), pp. 131–136.

    Google Scholar 

  4. L. Iturrioz, Modal operators on symmetrical Heyting algebras,Banach Center Publications 9, Universal algebra and applications, 1982, pp. 289–303.

  5. L. Iturrioz, Symmetrical Heyting algebras with operators,Zeitschr. f. math. Logik und Grundlagen d. Math. 29 (1983), pp. 33–70.

    Google Scholar 

  6. Gr. C. Moisil,Essais sur les logiques non chrysippiennes, Acad. R.S. Roumaine, Bucharest, 1972.

    Google Scholar 

  7. Gr. C. Moisil, Ensembles flous et logiques à plusieurs valeurs,Centre de Recherches Mathématiques —286, Université de Montréal, (1973), 24 pages.

  8. A. Monteiro, Axiomes indépendants pour les algèbres de Brouwer,Revista Unión Matemática Argentina 17 (1955), pp. 149–160.

    Google Scholar 

  9. A. Monteiro, Matrices de De Morgan caractéristiques pour le calcul propositionnel classique,Anais da Academia Brasileira de Ciências 32 (1960), pp. 1–7.

    Google Scholar 

  10. A. Monteiro, Algebras de Boole involutivas (abstract),Revista Unión Matemática Argentina 23 (1966), p. 39.

    Google Scholar 

  11. A. Monteiro,Sur quelques extensions du calcul propositionnel intuitionniste, IVème Congrès de mathématiciens d'expression latine, Bucarest 1969.

    Google Scholar 

  12. A. Monteiro, Sur les algèbres de Heyting symétriques,Portugaliae Mathematica 39 (1980), pp. 1–237, (Prix Gulbenkian de Science et Technologie).

    Google Scholar 

  13. H. Rasiowa,An Algebraic Approach to Non-classical Logics, Studies in Logic and the Foundations of Mathematics 78, North-Holland, Amsterdam, 1974.

    Google Scholar 

  14. H. Rasiowa, Logic of approximation reasoning,Proc. 1st Workshop on Computer Science Logic, Karlsruhe, FRG, 1987, LNCS 329, Springer-Verlag, Berlin 1988, pp. 188–210.

    Google Scholar 

  15. H. Rasiowa and Ng. Cat Ho, LT-fuzzy logics,International Journal Fuzzy Sets and Systems 47 (1992), pp. 233–339.

    Google Scholar 

  16. J. Woleński and J. Zygmunt, Jerzy Slupecki (1904–1987): Life and Work,Studia Logica 48 (1989), pp. 401–411.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Université Claude Bernard, Lyon 1, Bâtiment 101, 69622, Villeurbanne Cedex, France

    Luisa Iturrioz

Authors
  1. Luisa Iturrioz
    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

Iturrioz, L. Symmetrical Heyting algebras with a finite order type of operators. Stud Logica 55, 89–98 (1995). https://doi.org/10.1007/BF01053033

Download citation

  • Received:

  • Issue Date:

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

Keywords

Search

Navigation