HI,欢迎来到学术之家,发表咨询:400-888-7501  订阅咨询:400-888-7502  股权代码  102064
0

Heyting代数中同余关系的简化

作者:杨静梅 冯爽 姚卫heyting代数滤子同余关系

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

注:因版权方要求,不能公开全文,如需全文,请咨询杂志社

河北科技大学学报

《河北科技大学学报》(CN:13-1225/TS)是一本有较高学术价值的大型双月刊,自创刊以来,选题新奇而不失报道广度,服务大众而不失理论高度。颇受业界和广大读者的关注和好评。 《河北科技大学学报》的主要目标和任务是为了促进学术交流传播科技信息,为教学、科研、生产服务,为“科教兴国”、为社会主义精神文明和社会主义物质文明建设服务。

杂志详情