лупа
Search Loader

Sergei Odintsov 
Constructive Negations and Paraconsistency 

поддержка
€96.29
Способы оплаты

Содержание

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.
язык английский ● Формат PDF ● страницы 242 ● ISBN 9781402068676 ● Размер файла 1.9 MB ● издатель Springer Netherland ● город Dordrecht ● Страна NL ● опубликованный 2008 ● Загружаемые 24 месяцы ● валюта EUR ● Код товара 2148559 ● Защита от копирования Социальный DRM

Больше книг от того же автора (ов) / редактор

7 647 Электронные книги в этой категории