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 book introduces an important group of logics that have come to be known under the umbrella term 'susbstructural'. Substructural logics have independently l

This book introduces an important group of logics that have come to be known as substructural. It is the first to survey the important impact this class of logi

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

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