A Bijection between Lattice-Valued Filters and Lattice-Valued Congruences in Residuated Lattices
The aim of this paper is to study relations between lattice-valued filters and lattice-valued congruences in residuated lattices. We introduce a new definition of congruences which just depends on the meet ∧ and the residuum →. Then it is shown that each of these congruences is automatically a unive...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
Hindawi Limited
2013-01-01
|
Series: | Mathematical Problems in Engineering |
Online Access: | http://dx.doi.org/10.1155/2013/908623 |