In this note we prove that divisible residuated semilattices have some specific algebraic properties. We show that: (1) for normal and divisible residuated semilattices representability is equivalent to the existence… Click to show full abstract
In this note we prove that divisible residuated semilattices have some specific algebraic properties. We show that: (1) for normal and divisible residuated semilattices representability is equivalent to the existence of a join term, (2) any integral divisible residuated semilattice is distributive, and (3) a finite divisible residuated semilattice is integral and commutative.
               
Click one of the above tabs to view related content.