发帖
雷达卡
by J. Y. Beziau (Editor), W. Carnielli (Editor), D. M. Gabbay (Editor)
Paraconsistent logics are logics which allow solid deductive reasoning under contradictions by offering a mathematical and philosophical support to contradictory yet non-trivial theories. Due to its role in models of scientific reasoning and to its philosophical implications, as well as to its connections to topics such as abduction, automated reasoning, logic programming, and belief revision, paraconsistency has becoming a fast growing area. During the III World Congress on Paraconsistency (WCP3) held in Toulouse, France, in July, 2003, it became apparent that there is a need for a Handbook covering the most recent results on several aspects of paraconsistent logic, including philosophical debates on paraconsistency and its connections to philosophy of language, argumentation theory, computer science, information theory, and artificial intelligence. This book is a basic tool for those who want to know more about paraconsistent logic, its history and philosophy, the various systems of paraconsistent logic and their applications. The present volume is edited by Jean-Yves Beziau, Walter Carnielli and Dov Gabbay, expert logicians versed in a variety of logics.
目录截图：
本帖隐藏的内容
高清扫描版 PDF：
Handbook of Paraconsistency.pdf
(46.21 MB, 需要: 18 个论坛币)
PDF 压缩包：
Handbook of Paraconsistency.zip
(42.73 MB, 需要: 18 个论坛币)
本附件包括：- Handbook of Paraconsistency.pdf
如果你喜欢我分享的书籍，请关注我：https://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=5975757
订阅我的文库：【金融 + 经济 + 商学 + 国际政治】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3257
【数学 + 统计 + 计算机编程】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3258
【历史 + 心理学 + 社会自然科学】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3259
京公网安备 11010802022788号
