Perhaps the most counterintuitive property of classical logic (as well as of its most famous rival, intuitionistic logic) is the fact that it allows the inferen

This book is the first in the field of paraconsistency to offer a comprehensive overview of the subject, including connections to other logics and applications

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 present

Propositional Logics presents the history, philosophy, and mathematics of the major systems of propositional logic. Classical logic, modal logics, many-valued l

The book provides a contemporary view on different aspects of the deductive systems in various types of logics including term logics, propositional logics, logi