| 具有Heyting结构的Ockham代数 |
| |
| 引用本文： | 沈吓妹,方捷.具有Heyting结构的Ockham代数[J].纯粹数学与应用数学,2010,26(1):138-145. |
| |
| 作者姓名： | 沈吓妹 方捷 |
| |
| 作者单位： | 宁德师范高等专科学校数学系,福建,宁德,352100;汕头大学数学系,广东,汕头,515063;广东技术师范学院计算机科学学院,广东,广州,510665 |
| |
| 摘 要： | 引入一个具有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-代数的同余关系的性质．并刻画了其次直不可约代数的某些性质．
|
| 关 键 词： | Ockham代数 Heyting-代数 同余关系 次直不可约 |
Ockham algebras with Heyting structures |
| |
| SHEN Xia-mei,FANG Jie.Ockham algebras with Heyting structures[J].Pure and Applied Mathematics,2010,26(1):138-145. |
| |
| Authors: | SHEN Xia-mei FANG Jie |
| |
| Institution: | 1.School of Computer Sciences;Guangdong Polytechnic Normal University;Guangzhou 510665;China;2.Department of Mathematics;Ningde Teachers College;Ningde 352100;Department of Mathematics;Shantou University;Shantou 515063;China |
| |
| Abstract: | |
| |
| Keywords: | Ockham algebra Heyting algebra congruence subdirectly irreducible |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
