Congruences on Balanced Pseudocomplemented Ockham Algebras

摘要

变化 bpO 由那些代数学组成(L；∧ ， ∨ ， f， *) 类型 〈2， 2， 1， 1， 0， 0 〉在哪儿(L；∧ ， ∨ ， f， 0， 1 ) 是 Ockham 代数学，(L；∧ ， ∨ ， * ， 0， 1 ) 是 p 代数学，和操作 x ↦f (x) 和 x ↦x * 满足身份 f (x *)= x ** 并且[f (x)]*= f 2(x) 。在这笔记，我们证明 bpO 代数学上的紧缩的一致形成一个双石头格子。用这，我们描绘每主要一致在被补充的代数学。我们也给对一致的描述协调 bpO 代数学。