Residuated lattices : an algebraic glimpse at substructural logics - Galatos, Nikolaos (Studies in logic and the foundations of mathematics,, 2007)