ON THE CANONICAL LATTICE EXTENSION OF A DISTRIBUTIVE NEARLATTICE WITH A RESIDUATION OPERATION (Q4949948)

The categorical relations between distributive residuation nearlattices and distributive residuation lattices are established. These structures arise in algebraic logic. The canonical extension \(A^0\) of a distributive residuation nearlattice \(A\) is constructed, where \(A^0\) is a distributive residuation lattice. As a result the lattices of ideals \(\operatorname {Id}(A)\) and \(\operatorname {Id}(A^0)\) are isomorphic. \(A\) is subdirectly irreducible (resp. simple) if and only if \(A^0\) is subdirectly irreducible (resp. simple).