De Morgan Heyting algebras satisfying the identity xn ≈ x

&
Mathematical Logic Quarterly 57 (3):236-245 (2011)
  Copy   BIBTEX

Abstract

In this paper we investigate the sequence of subvarieties equation imageof De Morgan Heyting algebras characterized by the identity xn ≈ x. We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in equation image by means of its space of prime filters, and we characterize subdirectly irreducible and simple algebras in equation image. We extend these results for finite algebras in the general case equation image. © 2011 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Categories

Keywords

Reprint years

DOI

10.1002/malq.200910122

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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

Free‐decomposability in varieties of semi‐Heyting algebras.Manuel Abad, Juan Manuel Cornejo & Patricio Díaz Varela - 2012 - Mathematical Logic Quarterly 58 (3):168-176.
Subalgebras of Heyting and De Morgan Heyting Algebras.Valeria Castaño & Marcela Muñoz Santis - 2011 - Studia Logica 98 (1-2):123-139.
Expansions of Semi-Heyting Algebras I: Discriminator Varieties.H. P. Sankappanavar - 2011 - Studia Logica 98 (1-2):27-81.
Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras.Hernando Gaitán - 1998 - Mathematical Logic Quarterly 44 (4):553-567.
De Morgan Algebras with a Quasi-Stone Operator.T. S. Blyth, Jie Fang & Lei-bo Wang - 2015 - Studia Logica 103 (1):75-90.
Linear Heyting algebras with a quantifier.Laura Rueda - 2001 - Annals of Pure and Applied Logic 108 (1-3):327-343.
Varieties of pseudocomplemented Kleene algebras.Diego Castaño, Valeria Castaño, José Patricio Díaz Varela & Marcela Muñoz Santis - 2021 - Mathematical Logic Quarterly 67 (1):88-104.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hernán J. San Martín - 2012 - Studia Logica 100 (1-2):91-114.
Frontal Operators in Weak Heyting Algebras.Sergio A. Celani & Hern?N. J. San Mart?N. - 2012 - Studia Logica 100 (1-2):91-114.
On a Generalization of Heyting Algebras I.Amirhossein Akbar Tabatabai, Majid Alizadeh & Masoud Memarzadeh - forthcoming - Studia Logica:1-45.

Analytics

Added to PP
2013-12-01

Downloads
18 (#828,363)

6 months
3 (#1,208,233)

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

Distributive Lattices.Raymond Balbes & Philip Dwinger - 1977 - Journal of Symbolic Logic 42 (4):587-588.
Heyting Algebras with a Dual Lattice Endomorphism.Hanamantagouda P. Sankappanavar - 1987 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 33 (6):565-573.
Heyting Algebras with a Dual Lattice Endomorphism.Hanamantagouda P. Sankappanavar - 1987 - Mathematical Logic Quarterly 33 (6):565-573.

Add more references