Residuated lattices : an algebraic glimpse at substructural logics - Galatos Nikolaos (Elsevier, 2007)