De Morgan algebra;
Distributive ;
-algebra;
Heyting algebra;
Stone lattice;
Congruence;
Kernel ideal;
D O I:
暂无
中图分类号:
学科分类号:
摘要:
In a pseudocomplemented de Morgan algebra, it is shown that the set of kernel ideals is a complete Heyting lattice, and a necessary and sufficient condition that the set of kernel ideals is boolean (resp. Stone) is derived. In particular, a characterization of a de Morgan Heyting algebra whose congruence lattice is boolean (resp. Stone) is given.