Constructive Negations and Paraconsistency
Autor: | Sergei Odintsov |
---|---|
EAN: | 9781402068676 |
eBook Format: | |
Sprache: | Englisch |
Produktart: | eBook |
Veröffentlichungsdatum: | 19.03.2008 |
Kategorie: | |
Schlagworte: | Lattice of logics Minimal logic Nelson's logic Paraconsistency Strong negation logic |
96,29 €*
Versandkostenfrei
Die Verfügbarkeit wird nach ihrer Bestellung bei uns geprüft.
Bücher sind in der Regel innerhalb von 1-2 Werktagen abholbereit.
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.