Theory of Effective Propositional Paraconsistent Logics

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 inference of any proposition from a single pair of contradicting statements. A lot of work and efforts have been devoted over the years to develop alternatives to classical logic that do not have this drawback. Those alternatives are nowadays called 'paraconsistent systems', and the corresponding research area --- paraconsistent reasoning. ...