Loupe
Search Loader

Sergei Odintsov 
Constructive Negations and Paraconsistency 

Support
€96.29
méthodes de payement

Table des matières

Reductio ad Absurdum.- Minimal Logic. Preliminary Remarks.- Logic of Classical Refutability.- The Class of Extensions of Minimal Logic.- Adequate Algebraic Semantics for Extensions of Minimal Logic.- Negatively Equivalent Logics.- Absurdity as Unary Operator.- Strong Negation.- Semantical Study of Paraconsistent Nelson’s Logic.- N4?-Lattices.- The Class of N4?-Extensions.- Conclusion.
Langue Anglais ● Format PDF ● Pages 242 ● ISBN 9781402068676 ● Taille du fichier 1.9 MB ● Maison d’édition Springer Netherland ● Lieu Dordrecht ● Pays NL ● Publié 2008 ● Téléchargeable 24 mois ● Devise EUR ● ID 2148559 ● Protection contre la copie DRM sociale

Plus d’ebooks du même auteur(s) / Éditeur

7 676 Ebooks dans cette catégorie