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: | Odintsov, Sergei (Autor) |
Autor Corporativo: | SpringerLink (Online service) |
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 |
Ejemplares similares
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Publicado: (2016) -
The Age of Alternative Logics Assessing Philosophy of Logic and Mathematics Today /
Publicado: (2006) -
Recent Trends in Philosophical Logic
Publicado: (2014) -
Freedom and Enforcement in Action A Study in Formal Action Theory /
por: Czelakowski, Janusz
Publicado: (2015) -
Advances in Proof-Theoretic Semantics
Publicado: (2016)