Constructive Negations and Paraconsistency

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. The paraconsistent logi...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Odintsov, Sergei (Author)
Corporate Author: SpringerLink (Online service)
Format: Electronic eBook
Language:Inglés
Published: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Trends in Logic, Studia Logica Library, 26
Subjects:
Logic.
Mathematical logic.
Mathematical Logic and Foundations.
Online Access:Texto Completo
Table of Contents:
  • 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.

Similar Items