Sergei Odintsov

Constructive Negations and Paraconsistency (eBook, PDF)

• Format: PDF

Produktdetails

• Verlag: Springer Netherland
• Erscheinungstermin: 19. März 2008
• Englisch
• ISBN-13: 9781402068676
• Artikelnr.: 37355961

Inhaltsangabe

---

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.

Rezensionen

From the reviews: "This is the first book-length algebraic study of constructive paraconsistent logics. ... The monograph under review has a very clear structure. ... This monograph is indispensable for anybody interested in the algebraic study of constructive paraconsistent logics in particular, but it is also most rewarding for anyone interested in non-classical logics in general." (Heinrich Wansing, Zentralblatt MATH, Vol. 1161, 2009)