Theory of Effective Propositional Paraconsistent Logics

Description

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...