This text investigates the formal properties and philosophical implications of substructural logics, which are systems that restrict the use of structural rules found in classical logic. Greg Restall, a prominent philosopher and logician, provides a rigorous examination of how weakening, contraction, and exchange rules influence the behavior of consequence relations. The book serves as a foundational bridge between classical proof theory and non-classical logical frameworks, utilizing formal semantics and algebraic methods to demonstrate how these systems function.

Experts and academics frequently cite this work as a definitive introduction to the field, noting its clarity in navigating highly technical logical terrain. Students and researchers often rely on this text for its systematic approach to complex proof-theoretic concepts.