平衡半拟补Ockham代数的滤子

一个平衡半拟补Ockham代数(简称bdpO-代数)是一个〈2,2,1,1,0,0〉类型的代数(L;∧,∨,f,*,0,1)。其中(L;f)是Ockham代数,(L;*)是半拟补代数,且一元运算f和*由恒等式[f(x)]*=f2(x)与f(x*)=x**所连结。本文讨论bdpO-代数中滤子的性质及其同余特征,并刻画某些同余一致与同余凝聚性质。

平衡双重半拟补MS代数的理想和同余关系

在平衡双重半拟补MS代数上引入(^(*))理想,(^(+))理想,(°)理想和(^(*),^(+),°)理想的概念,探讨平衡双重半拟补MS代数上(^(*))理想,(^(+))理想,(°)理想和(^(*),^(+),°)理想与核理想的关系,获得了(°)理想是核理想的结论。同时构造出了以(^(*),^(+),°)理想为核的最小同余关系和最大同余关系,并获得了最小同余关系和最大同余关系之间的等式关系。