Hiroakira Ono on Substructural Logics

It further contains specialised contributions on connections to formal languages (recognizability in residuated lattices and connections to the finite embedding property), covering systems for modal substructural logics, results on the existence and disjunction properties and finally a study of conservativity of expansions.  This book will be primarily of interest to researchers working in algebraic and non-classical logic.