Symmetrical Heyting algebras with a finite order type of operators

Studia Logica 55 (1):89 - 98 (1995)
  Copy   BIBTEX

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.

Categories

Keywords

Reprint years

DOI

10.1007/bf01053033

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Cylindric modal logic.Yde Venema - 1995 - Journal of Symbolic Logic 60 (2):591-623.
Bi-Heyting algebras, toposes and modalities.Gonzalo E. Reyes & Houman Zolfaghari - 1996 - Journal of Philosophical Logic 25 (1):25 - 43.
Decidability problem for finite Heyting algebras.Katarzyna Idziak & Pawel M. Idziak - 1988 - Journal of Symbolic Logic 53 (3):729-735.
Optimal natural dualities for varieties of Heyting algebras.B. A. Davey & H. A. Priestley - 1996 - Studia Logica 56 (1-2):67 - 96.
Varieties of monadic Heyting algebras. Part I.Guram Bezhanishvili - 1998 - Studia Logica 61 (3):367-402.
Varieties of three-valued Heyting algebras with a quantifier.M. Abad, J. P. Díaz Varela, L. A. Rueda & A. M. Suardíaz - 2000 - Studia Logica 65 (2):181-198.
Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra.Wles?aw Dziobiak - 1982 - Studia Logica 41 (4):415 - 428.
Varieties of monadic Heyting algebras part II: Duality theory.Guram Bezhanishvili - 1999 - Studia Logica 62 (1):21-48.
Varieties of monadic Heyting algebras. Part III.Guram Bezhanishvili - 2000 - Studia Logica 64 (2):215-256.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.

Analytics

Added to PP
2009-01-28

Downloads
45 (#342,925)

6 months
6 (#506,019)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

An algebraic approach to non-classical logics.Helena Rasiowa - 1974 - Warszawa,: PWN - Polish Scientific Publishers.
Essais sur les logiques non chrysippiennes.Grigore C. Moisil - 1972 - Bucarest,: Éditions de l'Académie de la République Socialiste de Roumanie.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1976 - Mathematical Logic Quarterly 23 (7‐12):131-136.
Lukasiewicz and Symmetrical Heyting Algebras.Luisa Iturrioz - 1977 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 23 (7-12):131-136.

View all 8 references / Add more references