Relevance Logic

En savoir plus sur le livre

Focusing on the weak relevant logic B, this book seeks to clarify misconceptions surrounding relevance logics, often deemed overly complex or trivial. It offers a comprehensive introduction to this diverse family of logics, featuring the first textbook treatment of quantification within relevance logics. Additionally, it presents an overview of advanced topics, including variable sharing results, and serves as a guide for further exploration in the field, making it a valuable resource for both newcomers and seasoned scholars.