Constructive Negations and Paraconsistency (Hardcover) (ISBN-13: 9781402068669)

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.

Author: Sergei Odintsov
ISBN-10: 1402068662
ISBN-13: 9781402068669
Publisher: Springer
Language: English
Published: 03/20/2008
Pages: 242
Format: Hardcover
Weight: 1.17lbs
Size: 9.21h x 6.14w x 0.63d