×

zbMATH — the first resource for mathematics

A subdirectly irreducible symmetric Heyting algebra which is not simple. (English) Zbl 0803.06013
Summary: The aim of this paper is to provide a negative answer to the question whether every subdirectly irreducible symmetric Heyting algebra (that is a Heyting algebra with a De Morgan negation) is simple or not.
MSC:
06D20 Heyting algebras (lattice-theoretic aspects)
PDF BibTeX XML Cite
Full Text: EuDML