拟伪补Ockham代数的同余与核理想

摘要

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