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...
Κύριος συγγραφέας: | Odintsov, Sergei P. (Συγγραφέας) |
---|---|
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Dordrecht :
Springer Netherlands,
2008.
|
Σειρά: | Trends in Logic ;
26 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Logical Studies of Paraconsistent Reasoning in Science and Mathematics
Έκδοση: (2016) -
Paraconsistency: Logic and Applications
Έκδοση: (2013) -
Where is the Gödel-point hiding: Gentzen’s Consistency Proof of 1936 and His Representation of Constructive Ordinals
ανά: Horská, Anna
Έκδοση: (2014) -
Constructivity and Computability in Historical and Philosophical Perspective
Έκδοση: (2014) -
The Square of Opposition: A Cornerstone of Thought
Έκδοση: (2017)