On ideals and congruences of distributive demi-p-algebras

被引:2
|
作者
Blyth, T. S. [1 ]
Fang, Jie [2 ]
Wang, Leibo [3 ]
机构
[1] Univ St Andrews, Math Inst, St Andrews KY16 9SS, Scotland
[2] Guangdong Polytech Normal Univ, Sch Comp Sci, Guangzhou 510665, Guangdong, Peoples R China
[3] Sichuan Normal Univ, Coll Math & Software Sci, Chengdu 610066, Peoples R China
关键词
Pseudocomplemented algebra; Demi-p-algebra; Congruence; (star)-ideal; Falsity ideal; LATTICES;
D O I
10.1007/s11225-014-9576-x
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
We identify the -ideals of a distributive demi-pseudocomplemented algebra L as the kernels of the boolean congruences on L, and show that they form a complete Heyting algebra which is isomorphic to the interval of the congruence lattice of L where G is the Glivenko congruence. We also show that the notions of maximal -ideal, prime -ideal, and falsity ideal coincide.
引用
收藏
页码:491 / 506
页数:16
相关论文
共 50 条
  • [1] On ideals and congruences of distributive demi-p-algebras
    T. S. Blyth
    Jie Fang
    Leibo Wang
    Studia Logica, 2015, 103 : 491 - 506
  • [2] Fuzzy ideals and fuzzy congruences of distributive demi-p-algebras
    Alemayehu, Teferi Getachew
    Ageze, Zebider Ayenew
    JOURNAL OF DISCRETE MATHEMATICAL SCIENCES & CRYPTOGRAPHY, 2023, 26 (08): : 2127 - 2137
  • [3] Principal congruences on distributive double p-algebras
    deCarvalho, JV
    PROCEEDINGS OF THE EDINBURGH MATHEMATICAL SOCIETY, 1996, 39 : 491 - 503
  • [4] Ideals and congruences of basic algebras
    Chajda, Ivan
    Kuehr, Jan
    SOFT COMPUTING, 2013, 17 (03) : 401 - 410
  • [5] Congruences and ideals of effect algebras
    Avallone, A
    Vitolo, P
    ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS, 2003, 20 (01): : 67 - 77
  • [6] Ideals and congruences of basic algebras
    Ivan Chajda
    Jan Kühr
    Soft Computing, 2013, 17 : 401 - 410
  • [7] Congruences and Ideals of Effect Algebras
    Anna Avallone
    Paolo Vitolo
    Order, 2003, 20 : 67 - 77
  • [8] Congruences and ideals in pseudoeffect algebras
    Li, Hai-Yang
    Li, Sheng-Gang
    SOFT COMPUTING, 2008, 12 (05) : 487 - 492
  • [9] Congruences and ideals in pseudoeffect algebras
    Hai-Yang Li
    Sheng-Gang Li
    Soft Computing, 2008, 12 : 487 - 492
  • [10] EQUATIONAL THEORIES OF ALGEBRAS WITH DISTRIBUTIVE CONGRUENCES
    PADMANABHAN, R
    QUACKENBUSH, RW
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 41 (02) : 373 - 377