Constructive Negations and Paraconsistency

By Sergei P. Odintsov and Sergei Odintsov

Book Overview

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.

• Format: Paperback
• Language: English
• ISBN: 9048177448
• ISBN13: 9789048177448
• Release Date: November 2010
• Publisher: Springer
• Length: 242 Pages
• Weight: 0.78 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"