Theory of Effective Propositional Paraconsistent Logics Arnon Avron/Ofer Arieli/Anna Zamansky

Perhaps the most counterintuitive property of classical logic&nbsp,(as well as of its most famous rival, intuitionistic logic) is the fact&nbsp,that it allows the inference of any proposition from a single&nbsp,pair of contradicting statements. A lot of work and efforts have&nbsp,been devoted over the years to develop alternatives to classical logic&nbsp,that do not have this drawback. Those alternatives are nowadays&nbsp,called `paraconsistent systems&#39,,&nbsp, and the corresponding&nbsp,research area —&nbsp, paraconsistent reasoning.

The purpose of this book is to provide&nbsp,a comprehensive methodological presentation of the rich&nbsp,mathematical theory that exists by now concerning the most
fundamental part of paraconsistent reasoning: propositional&nbsp,(monotonic) logics.&nbsp,Among those logics it mainly&nbsp, concentrates on those which are effective
(in the sense that they are decidable, have a concrete semantics,&nbsp,and can be equipped with implementable analytic proof systems).

The first part of the book defines in precise terms&nbsp,all the basic notions that are related to paraconsistency, after reviewing&nbsp,all the necessary preliminaries. The other parts describe in detail&nbsp,all of the main approaches to the subject. This includes&nbsp,finite-valued semantics (both truth functional and non-deterministic),
logics of formal inconsistency, relevant logics, constructive&nbsp,paraconsistent logics which are based on positive intuitionistic&nbsp,logic, and paraconsistent logics which are based on modal logics.&nbsp,The book&nbsp, covers thousands of paraconsistent logics, each of&nbsp,which is studied&nbsp, both from a semantical and from a proof
theoretical points of view.&nbsp, In addition,&nbsp,most of those logics are characterized in terms of minimality or maximality&nbsp,properties that they may have.&nbsp,

&nbsp,

Ficha Técnica

• ISBN: 9781848902701
• Autor: Arnon Avron, Ofer Arieli, Anna Zamansky
• Editorial: College Publications
• Páginas: No especificado
• Encuadernación: Tapa Blanda
• Dimensiones: 156.00 x 234.00 mm