1. Introduction -- Part I. Reductio ad Absurdum -- 2. Minimal Logic. Preliminary Remarks -- 3. Logic of Classical Refutability -- 4. The Class of Extensions of Minimal Logic -- 5. Adequate Algebraic Semantics for Extensions of Minimal Logic -- 6. Negatively Equivalent Logics -- 7. Absurdity as Unary Operator -- Part II. Strong Negation -- 8. Semantical Study of Paraconsistent Nelson's Logic -- 9. N4-Lattices -- 10. The Class of N4-Extensions -- References -- Subject Index
Summary
"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."--Jacket