三段论

面向自然语言信息处理的扩展三段论研究.pdf

本书从自然语言信息处理的视角,主要介绍和阐释了关于扩展三段论的形式化研究成果,具体研究内容包括:三段论片段的完全性,居间广义三段论,模态三段论,关系三段论,带有完全布尔运算的关系三段论,带有动词的扩展三段论的有效性、可靠性、完全性和计算复杂性等内容。

逻辑——从三段论到不完全性定理.pdf

本书以公理化思想为主导,从亚里士多德的三段论到哥德尔的不完全性定理,阐述传统逻辑与现代逻辑的基本理论。全书以有效推理的形式化作为轴线,分别展开三段沦的自然演绎系统、命题逻辑和一阶逻辑的解析树以及自然演绎系统等公理化的系统,并介绍了哥德尔完伞性定理与不完全性定理及相关的重要成果。本