Constructive Negations and Paraconsistency

I. Reductio ad Absurdum

1. Introduction

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

II. Strong Negation

8. Semantical Study of Paraconsistent Nelson's Logic

9. N4--Lattices

10. The Class of N4--Extensions

11. Conclusion

DRM-restrictions

Printing: not available
Clipboard copying: not available

Nyckelord: PHILOSOPHY / General PHI000000