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
来源：
STUDIA LOGICA | 2015年 / 103卷 / 03期
关键词：
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 条
12345