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 logics ar...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Language: | English |
| Published: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Trends in Logic, Studia Logica Library,
26 |
| Subjects: | |
| Online Access: | https://doi.org/10.1007/978-1-4020-6867-6 |