Arnon Avron on Semantics and Proof Theory of Non-Classical Logics

This book is a collection of contributions honouring Arnon Avron’s seminal work on the semantics and proof theory of non—classical logics. It includes presentations of advanced work by some of the most esteemed scholars working on semantic and proof—theoretical aspects of computer science logic. Topics in this book include frameworks for paraconsistent reasoning, foundations of relevance logics, analysis and characterizations of modal logics and fuzzy logics, hypersequent calculi and their ...