平衡拟补Ockham代数的理想格 (2007年)

一个平衡拟补Ockham代数是代数(L; D, C , f, 0, 1),其中(L; f)是Ockham代数,(L;* )是拟补p-代数,且一元运算f和*满足条件(P x L)f(x 拟补Ockham代数的理想格,给出了核理想的特征表示,并且证明了由核理想生成的同余格是一个p-代数.