Odintsov Constructive Negations and Paraconsistency
1. Auflage 2008
ISBN: 978-1-4020-6867-6
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark
E-Book, Englisch, Band 26, 242 Seiten, eBook
Reihe: Trends in Logic
ISBN: 978-1-4020-6867-6
Verlag: Springer Netherland
Format: PDF
Kopierschutz: 1 - PDF Watermark
Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
Zielgruppe
Research
Autoren/Hrsg.
Weitere Infos & Material
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.