%0 Journal Article
%T heyting代数中同余关系的简化
%A 杨静梅？
%A 冯 爽？
%A 姚 卫？
%J 河北科技大学学报
%P 479-481
%D 2012
%R 10.7535/hbkd.2012yx06001
%X 给出了heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。
%K heyting代数
%K 滤子
%K 同余关系
%U http://xuebao.hebust.edu.cn/hbkjdx/ch/reader/view_abstract.aspx?file_no=20120601&flag=1