具有Heyting结构的Ockham代数

• 作者: 方捷 沈吓妹
• 来源期刊: 纯粹数学与应用数学
• 学科: 数学
• 关键词: Ockham代数 Heyting-代数 同余关系 次直不可约
• 年，卷（期）: 2010,（1）
• 页码范围: 138-145
• 页数: 8页
• 分类号: O178
• 字数: 7078字
• 语种: 中文
• DOI: 10.3969/j.issn.1008-5513.2010.01.023

摘要

引入一个具有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-代数的同余关系的性质.并刻画了其次直不可约代数的某些性质.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	沈吓妹	宁德师范高等专科学校数学系	10	10	2.0	3.0
3	方捷	广东技术师范学院计算机科学学院	10	9	2.0	3.0