Welcome to the web site for the book An Introduction to Substructural
Logics. The book is an introduction to the field of relevant, linear,
and other substructural logics, aimed at introducing this new and
exciting field of logic to anyone and everyone.
In practice, this means that the book will suit the advanced undergraduate,
postgraduate, or researcher in logic (in philosophy, mathematics, computer
science or theoretical linguistics). The book contains an overview of the
major results and techniques in the field, in proof theory and semantics of