Text this: Residuated lattices : an algebraic glimpse at substructural logics / Nikolaos Galatos [and others].