De Morgan Heyting algebras satisfying the identity<i>x</i><sup><i>n</i>(′*)</sup>≈<i>x</i><sup>(<i>n</i>+1)(′*)</sup> (Q3008053)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | De Morgan Heyting algebras satisfying the identity<i>x</i><sup><i>n</i>(′*)</sup>≈<i>x</i><sup>(<i>n</i>+1)(′*)</sup> |
scientific article |
Statements
De Morgan Heyting algebras satisfying the identity<i>x</i><sup><i>n</i>(′*)</sup>≈<i>x</i><sup>(<i>n</i>+1)(′*)</sup> (English)
0 references
17 June 2011
0 references
Heyting algebra
0 references
De Morgan algebra
0 references
Priestley duality
0 references
involution
0 references
