De Morgan Heyting algebras satisfying th
β
Valeria CastaΓ±o; Marcela MuΓ±oz Santis
π
Article
π
2011
π
John Wiley and Sons
π
English
β 143 KB
In this paper we investigate the sequence of subvarieties SDHn of De Morgan Heyting algebras characterized by the identity x n ( \* ) β x (n + 1)( \* ) . We obtain necessary and sufficient conditions for a De Morgan Heyting algebra to be in SDH1 by means of its space of prime filters, and we charact