Constructive Negations and Paraconsistency
| By: | Sergei Odintsov |
| Publisher: | Springer Nature |
| Print ISBN: | 9781402068669 |
| eText ISBN: | 9781402068676 |
| Edition: | 0 |
| Copyright: | 2008 |
| Format: | Page Fidelity |
Lifetime - $211.25
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.