摘要
引入一个具有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-代数的同余关系的性质.并刻画了其次直不可约代数的某些性质.
In this paper, we introduce a class HO of Ockham algebras with Heyting structures, consisting of those algebras （L;∨,∧,→,f,0,1） of type （2, 2, 2, 1, 0, 0） where （L; ∨,∧, f, 0, 1） is an Ockham algebra, （L;→, 0, 1） is a Heyting algebra, and the operations f and → are linked by the identities f（x → y） = f^2（x） A f（y） and f（x） → y = f^2（x） ∨ y. We give a description of the congruences on the algebras, and describe some properties of subdirectly irreducible members in the class of the algebras.
出处
《纯粹数学与应用数学》
CSCD
2010年第1期138-145,共8页
Pure and Applied Mathematics
