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