Constructive Negations and Paraconsistency

• Κύριος συγγραφέας: Odintsov, Sergei P. (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Dordrecht : Springer Netherlands, 2008.
• Σειρά: Trends in Logic ; 26
• Θέματα: 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...

Πίνακας περιεχομένων:

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