Residuated lattices an algebraic glimpse at substructural logics - Galatos Nikolaos; Jipsen Peter; Kowalski Tomasz; Ono Hiroakira (Amsterdam Elsevier, 2007)
Keywords: Mathematical logic; Residuated lattices; Substructural logics