Constructive Negations and Paraconsistency

• Main Author: Odintsov, Sergei P. (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Dordrecht : Springer Netherlands, 2008.
• Series: Trends in Logic ; 26
• Subjects: Philosophy.; Logic.; Mathematical logic.; Mathematical Logic and Foundations.

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