This book covers a broad range of up-to-date issues in non-classical logic that are of interest not only to philosophical and mathematical logicians but also to computer scientists and researchers in artificial intelligence. The problems addressed range from methodological issues in paraconsistent and deontic logic to the revision theory of truth and infinite Turing machines. The book identifies a number of important current trends in contemporary non-classical logic. Among them are dialogical and substructural logic, the classification of concepts of negation, truthmaker theory, and mathematical and foundational aspects of modal and temporal logic.
€129.99
购买此电子书可免费获赠一本！
语言 英语 ● 格式 PDF ● 网页 276 ● ISBN 9789812799746 ● 文件大小 12.1 MB ● 编辑 Heinrich Wansing ● 出版者 World Scientific Publishing Company ● 市 Singapore ● 国家 SG ● 发布时间 2001 ● 下载 24 个月 ● 货币 EUR ● ID 2447036 ● 复制保护 Adobe DRM
需要具备DRM功能的电子书阅读器
来自同一作者的更多电子书 / 编辑
72,681 此类电子书
