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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Odintsov, Sergei (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Dordrecht : Springer Netherlands : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Trends in Logic, Studia Logica Library, 26
Temas:
Logic.
Mathematical logic.
Mathematical Logic and Foundations.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares