|本期目录/Table of Contents|

具有Heyting结构的Ockham代数(PDF)

《纯粹数学与应用数学》[ISSN:1008-5513/CN:61-1240/O1]

期数:
2010年01期
页码:
138
栏目:
出版日期:
2010-01-15

文章信息/Info

Title:
Ockham algebras with Heyting structures
作者:
沈吓妹1 方捷2
(1.宁德师范高等专科学校数学系, 福建宁德352100; 汕头大学数学系, 广东汕头515063; 2.广东技术师范学院计算机科学学院, 广东广州510665)
Author(s):
SHEN Xia-mei 1 FANG Jie 2
(1.School of Computer Sciences, Guangdong Polytechnic Normal University, Guangzhou 510665, China; 2.Department of Mathematics, Ningde Teachers College, Ningde 352100, China; Department of Mathematics, Shantou University, Shantou 515063, China)
关键词:
Ockham代数 Heyting-代数 同余关系 次直不可约
Keywords:
Ockham algebra Heyting algebra congruence subdirectly irreducible
分类号:
O178
DOI:
-
文献标识码:
A
摘要:
引入一个具有Heyting结构的Ockham代数, 简称HO-代数. 所谓HO-代数, 是指 具有h2; 2; 2; 1; 0; 0i 类型的代数(L;^;_;!; f; 0; 1). 其中(L; f)是Ockham 代数, (L;!) 是Heyting 代数, 且运算f和! 由恒等式f(x ! y) = f2(x) ^ f(y) 与f(x) ! y = f2(x) _ y 所连结. 主要讨论了HO -代数的同余关系的性质. 并刻画了其次直不可约代 数的某些性质.
Abstract:
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) = f2(x) ^ f(y) and f(x) ! y = f2(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.

参考文献/References

-

备注/Memo

备注/Memo:
-
更新日期/Last Update: 2010-01-15