The Lattices of Kernel Ideals in Pseudocomplemented De Morgan Algebras

被引:0
|
作者
Xue-Ping Wang
Lei-Bo Wang
机构
[1] Sichuan Normal University,College of Mathematics and Software Science
来源
Order | 2017年 / 34卷
关键词
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.
引用
收藏
页码:23 / 35
页数:12
相关论文
共 50 条
  • [21] Congruence Lattices of Symmetric Extended De Morgan Algebras
    Fang, Jie
    Wang, Lei-Bo
    BULLETIN OF THE MALAYSIAN MATHEMATICAL SCIENCES SOCIETY, 2015, 38 (04) : 1471 - 1480
  • [22] Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
    Jan Paseka
    Zdenka Riečanová
    International Journal of Theoretical Physics, 2010, 49 : 3216 - 3223
  • [23] Compactly Generated de Morgan Lattices, Basic Algebras and Effect Algebras
    Paseka, Jan
    Riecanova, Zdenka
    INTERNATIONAL JOURNAL OF THEORETICAL PHYSICS, 2010, 49 (12) : 3216 - 3223
  • [24] The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra
    Fang, Jie
    Wang, Lei-Bo
    Yang, Ting
    STUDIA LOGICA, 2014, 102 (01) : 29 - 39
  • [25] Extreme fuzzy ideals and its applications on De Morgan residuated lattices
    Holdon, Liviu-Constantin
    JOURNAL OF INTELLIGENT & FUZZY SYSTEMS, 2020, 39 (01) : 449 - 461
  • [26] The Lattice of Kernel Ideals of a Balanced Pseudocomplemented Ockham Algebra
    Jie Fang
    Lei-Bo Wang
    Ting Yang
    Studia Logica, 2014, 102 : 29 - 39
  • [27] Ideals in Demi-Pseudocomplemented MS-Algebras
    Fang, Jie
    Tan, Feng-Mei
    SOUTHEAST ASIAN BULLETIN OF MATHEMATICS, 2018, 42 (02) : 171 - 181
  • [28] Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
    Figallo-Orellano, Aldo
    Perez-Gaspar, Miguel
    Manuel Ramirez-Contreras, Juan
    STUDIA LOGICA, 2022, 110 (05) : 1291 - 1325
  • [29] Paraconsistent and Paracomplete Logics Based on k-Cyclic Modal Pseudocomplemented De Morgan Algebras
    Aldo Figallo-Orellano
    Miguel Peréz-Gaspar
    Juan Manuel Ramírez-Contreras
    Studia Logica, 2022, 110 : 1291 - 1325
  • [30] PUTTING BOUNDED INVOLUTIVE LATTICES, DE MORGAN ALGEBRAS, ORTHOLATTICES AND BOOLEAN ALGEBRAS ON THE "MAP"
    Iorgulescu, Afrodita
    Kinyon, Michael
    JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (05): : 1169 - 1213