\(I_ n\)-symmetrical Heyting algebras (Q1208070)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(I_ n\)-symmetrical Heyting algebras |
scientific article |
Statements
\(I_ n\)-symmetrical Heyting algebras (English)
0 references
16 May 1993
0 references
A symmetrical Heyting algebra is an algebra \((A;\land,\lor,',\Rightarrow,0,1)\) such that \((A;\land,\lor,\Rightarrow,0,1)\) is a Heyting algebra and \((A;\land,\lor,',0,1)\) is a DeMorgan algebra. The Heyting algebra is \(I_ n\)-symmetrical if it satisfies the Ivo Thomas equality. The authors show that these algebras are semi-simple. They characterize simple algebras and their subalgebras and answer a problem raised by A. Monteiro.
0 references
semi-simple algebras
0 references
symmetrical Heyting algebra
0 references
DeMorgan algebra
0 references
simple algebras
0 references