论文部分内容阅读
拟伪补Ockham代数,是一个具有类型〈2,2,1,1,0,0〉的代数(L:A,V,f,*,0,1)其中(L:∧,∨,f,0,1)是Ockham代数,(L:∧,∨,*,0,1)是拟伪补格,而且运算f和*可交换,即f(x*)=[f(x)]*.本文主要讨论了该代数上的核理想的性质.并且对其同余关系的特征进行了刻画.