Residuated structures in algebra and logic - Metcalfe, George; Paoli, Francesco; Tsinakis, Constantine (Mathematical surveys and monographs, 2023)