计算机工程与应用Issue(16)：68-70,3.DOI:10.3778/j.issn.1002-8331.1211-0098
剩余格中同余关系的简化
Simplication of congruence relations in residuated lattices
摘要
Abstract
In residuated lattices, a definition of congruence relations is introduced depending on the meet opration Ù and the im-plication operation ® , which simplifies the forms of congruence relations in sense of universal algebras. It is shown that all this kind of congruence relations are still one-to-one corresponding to all filters and indeed such a correpondence is an isomorphism between related complete lattices.关键词
剩余格/同余关系/滤子Key words
residuated lattice/congruence relation/filter分类
数理科学引用本文复制引用
李莉,陈宁..剩余格中同余关系的简化[J].计算机工程与应用,2013,(16):68-70,3.基金项目
陕西省教育厅项目（No.12JK0931，No.12JK0947）。 （）
