Lupă
Încărcător de căutare

Sergei Odintsov 
Constructive Negations and Paraconsistency 

Ajutor
€96.29
Metode de plata

Cuprins

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.
Limba Engleză ● Format PDF ● Pagini 242 ● ISBN 9781402068676 ● Mărime fișier 1.9 MB ● Editura Springer Netherland ● Oraș Dordrecht ● Țară NL ● Publicat 2008 ● Descărcabil 24 luni ● Valută EUR ● ID 2148559 ● Protecție împotriva copiilor DRM social

Mai multe cărți electronice de la același autor (i) / Editor

7.676 Ebooks din această categorie