Constructive Negations and Paraconsistency
| Author | : Sergei Odintsov |
| Publisher | : Springer Science & Business Media |
| Total Pages | : 241 |
| Release | : 2008-03-19 |
| ISBN-10 | : 9781402068676 |
| ISBN-13 | : 1402068670 |
| Rating | : 4/5 (76 Downloads) |
Book Synopsis Constructive Negations and Paraconsistency by : Sergei Odintsov
Download or read book Constructive Negations and Paraconsistency written by Sergei Odintsov and published by Springer Science & Business Media. This book was released on 2008-03-19 with total page 241 pages. Available in PDF, EPUB and Kindle. Book excerpt: Here is an account of recent investigations into the two main concepts of negation developed in the constructive logic: the negation as reduction to absurdity, and the strong negation. These concepts are studied in the setting of paraconsistent logic.
