A residuated lattice is an algebraic structure that has a lattice and a monoid reduct, such that multiplication is residuated with respect to the order. Residuated lattices generalize many well studied algebras including ...