Simplication of congruence relations in residuated lattices
Li L · Computer Engineering and Applications Journal · 2013
In residuated lattices, a definition of congruence relations is introduced depending on the meet opration Λ and the implication 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.