De Morgan Heyting algebras satisfying the identityxn(′*)≈x(n+1)(′*)

DOI10.1002/malq.200910122zbMath1244.06004OpenAlexW2043738982MaRDI QIDQ3008053

Valeria Castaño, Marcela Muñoz Santis

Publication date: 17 June 2011

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.200910122

zbMATH Keywords

Priestley dualityDe Morgan algebraHeyting algebrainvolution

Mathematics Subject Classification ID

Heyting algebras (lattice-theoretic aspects) (06D20) De Morgan algebras, ?ukasiewicz algebras (lattice-theoretic aspects) (06D30)

Related Items (1)

The lattices of kernel ideals in pseudocomplemented De Morgan algebras

Cites Work

• Heyting Algebras with a Dual Lattice Endomorphism
• Ordered Topological Spaces and the Representation of Distributive Lattices
• Representation of Distributive Lattices by means of ordered Stone Spaces

This page was built for publication: De Morgan Heyting algebras satisfying the identityx^n(′*)≈x^(n+1)(′*)