"residuated lattice" . . "residuated lattice" . .