论文部分内容阅读
引入一个具有Heyting结构Ockham代数,简称HO-代数.所谓HO-代数,是指具有(2,2,2,1,0,0)类型的代数(L;∧,∨,→,f,0,1).其中(L;f)是Ockham代数,(L;→)是Heyting代数,且运算f和→由恒等式f(x→y)=f^2(x)∧f(y)与f(x)→y=f^2(x)∨y所连结.主要讨论了HO-代数的同余关系的性质.并刻画了其次直不可约代数的某些性质.