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. The purpose of this book is to provide ,a comprehensive methodological presentation of the rich ,mathematical theory that exists by now concerning the most fundamental part of paraconsistent reasoning