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