Heyting代数中同余关系的简化 (2012年)

时间:2024-05-18 04:15:52
【文件属性】:

文件名称:Heyting代数中同余关系的简化 (2012年)

文件大小:808KB

文件格式:PDF

更新时间:2024-05-18 04:15:52

工程技术 论文

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


网友评论