Heyting代数中同余关系的简化

• 作者: 冯爽 姚卫 杨静梅
• 来源期刊: 河北科技大学学报
• 学科: 数学
• 关键词: Heyting代数 滤子 同余关系
• 年，卷（期）: 2012,（6）
• 所属期刊栏目: 数理科学与化学
• 页码范围: 479-481
• 页数: 3页
• 分类号: O153.1
• 字数: 2806字
• 语种: 中文

摘要

给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化.最后证明了全体滤子之集作为完备格同构于全体同余关系之集.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	冯爽	河北科技大学教务处	8	68	3.0	8.0
2	杨静梅	河北科技大学理学院	7	6	2.0	2.0
3	姚卫	河北科技大学理学院	15	25	2.0	4.0