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