Title: Residuated Lattices: An Algebraic Glimpse at Substructural Logics, Author: Nikolaos Galatos
Title: Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009, Proceedings / Edition 1, Author: Hiroakira Ono
Title: Proof Theory and Algebra in Logic, Author: Hiroakira Ono