"Residuated Lattices: An Algebraic Glimpse at Substructural Logics" - читать интересную книгу автора (Galatos N., Jipsen P., Kowalski T.)