The Thesis This book investigates the foundational principles and applications of substructural logics, a class of logical systems that deviate from classical logic by placing constraints on structural rules like weakening, contraction, and exchange. It aims to provide a comprehensive overview of these logics, their theoretical underpinnings, and their utility in various fields. The work is grounded in formal logic and theoretical computer science, presenting a rigorous exploration of the subject matter.

The Authority Perspective This book is recognized as a significant contribution to the field of mathematical logic and theoretical computer science, offering a detailed and systematic treatment of substructural logics. Its rigorous approach and comprehensive scope make it a valuable resource for researchers and advanced students. The work is noted for its depth and the clarity with which it presents complex theoretical material, serving as a key reference for those working in formal systems and their applications.