论文部分内容阅读
一个平衡拟补Ockham代数是代数(L;∨,∧,f,0,1),其中(L;f)是O ckham代数,(L;*)是拟补p-代数,且一元运算f和*满足条件(任意x∈L)f(x^*=x^**及[f(x)]^*=f^2(x).主要讨论平衡拟补Ockham代数的理想格,给出了核理想的特征表示,并且证明了由核理想生成的同余格是一个p-代数.