Residuated structures in algebra and logic - Metcalfe, George. (American Mathematical Society,, 2023)