Heyting Algebras with Operators

Mathematical Logic Quarterly 47 (2):187-196 (2001)
  Copy   BIBTEX


In this paper, we will give a general description of subdirectly irreducible Heyting algebras with operators under some weak conditions, which includes the finite case, the normal case and the case for Boolean algebras with diamond operator. This can be done by normalizing these operators. This answers the question posed in Wolter [4]



    Upload a copy of this work     Papers currently archived: 92,075

External links

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

Through your library

Similar books and articles

Bi-Heyting algebras, toposes and modalities.Gonzalo E. Reyes & Houman Zolfaghari - 1996 - Journal of Philosophical Logic 25 (1):25 - 43.
On logics with coimplication.Frank Wolter - 1998 - Journal of Philosophical Logic 27 (4):353-387.


Added to PP

23 (#683,205)

6 months
6 (#522,810)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal expansions of ririgs.AgustÍn L. Nagy & William J. Zuluaga Botero - forthcoming - Logic Journal of the IGPL.

Add more citations

References found in this work

No references found.

Add more references