A bijection between lattice-valued filters and lattice-valued congruences in residuated lattices

From MaRDI portal





Summary: 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 \(\wedge\) and the residuum \(\to\). Then it is shown that each of these congruences is automatically a universal-algebra-congruence. Also, lattice-valued filters and lattice-valued congruences are studied, and it is shown that there is a one-to-one correspondence between the set of all (lattice-valued) filters and the set of all (lattice-valued) congruences.











This page was built for publication: A bijection between lattice-valued filters and lattice-valued congruences in residuated lattices

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q474252)