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...

Description complète

Détails bibliographiques
Cote:Libro Electrónico
Auteur principal: Odintsov, Sergei (Auteur)
Collectivité auteur: SpringerLink (Online service)
Format: Électronique eBook
Langue:Inglés
Publié: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Édition:1st ed. 2008.
Collection:Trends in Logic, Studia Logica Library, 26
Sujets:
Logic.
Mathematical logic.
Mathematical Logic and Foundations.
Accès en ligne:Texto Completo
Table des matières:
  • 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.

Documents similaires