具有Heyting结构的Ockham代数  

Ockham algebras with Heyting structures

作　　者：沈吓妹[1,2] 方捷[3] 

机构地区：[1]宁德师范高等专科学校数学系,福建宁德352100 [2]汕头大学数学系,广东汕头515063 [3]广东技术师范学院计算机科学学院,广东广州510665

出　　处：《纯粹数学与应用数学》2010年第1期138-145,共8页Pure and Applied Mathematics

摘　　要：引入一个具有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.

关 键 词：OCKHAM代数 Heyting-代数 同余关系 次直不可约 

分 类 号：O178[理学—数学]