The aim of the present book is to give a comprehensive account of the ‘state of the art’ of substructural logics, focusing both on their proof theory (espec

This book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently l

This volume presents the state of the art in the algebraic investigation into substructural logics. It features papers from the workshop AsubL (Algebra & Substr

The book is meant to serve two purposes. The first and more obvious one is to present state of the art results in algebraic research into residuated structures

This book is an introduction to residuated structures, viewed as a common thread binding together algebra and logic. The framework includes well-studied structu