Constructive Negations and Paraconsistency

• Main Author: Odintsov, Sergei P. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2008.
• Series: Trends in Logic ; 26
• Subjects: Philosophy.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.

This book presents the author’s recent investigations of the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity (L.E.J. Brouwer) and the strong negation (D. Nelson) are studied in the setting of paraconsistent logic. The paraconsistent logics ar...

Table of Contents:

• Reductio ad Absurdum
• Minimal Logic. Preliminary Remarks
• Logic of Classical Refutability
• The Class of Extensions of Minimal Logic
• Adequate Algebraic Semantics for Extensions of Minimal Logic
• Negatively Equivalent Logics
• Absurdity as Unary Operator
• Strong Negation
• Semantical Study of Paraconsistent Nelson's Logic
• N4?-Lattices
• The Class of N4?-Extensions
• Conclusion.