表中的内容
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 ● ID 2148559 ● 复制保护 社会DRM