On the lattice of congruence fillters of a residuated lattice
Raluca Cretan, Antoaneta Jeflea · Annals of the University of Craiova Mathematics and Computer Science Series · 2006
For a residuated lattice A we denote by Ds(A) the lattice of all congruence filters (deductive systems) of A. The aim of this paper is to put in evidence some new rules of calculus in residuated lattices and some properties of the lattice (Ds(A),⊆). Also, we characterize the residuated lattices for which the lattice of congruence filters is a