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 logi...
Clasificación: | Libro Electrónico |
---|---|
Autor principal: | |
Autor Corporativo: | |
Formato: | Electrónico eBook |
Idioma: | Inglés |
Publicado: |
Dordrecht :
Springer Netherlands : Imprint: Springer,
2008.
|
Edición: | 1st ed. 2008. |
Colección: | Trends in Logic, Studia Logica Library,
26 |
Temas: | |
Acceso en línea: | Texto Completo |