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 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

In 1953, exactly 50 years ago to this day, the first volume of Studia Logica appeared under the auspices of The Philosophical Committee of The Polish Academy of