传统逻辑协调化、经典化和自动化的实现

• 作者: 张寅生
• 来源期刊: 济南大学学报（自然科学版）
• 学科: 数学
• 关键词: 三段论 一阶逻辑 自动推理 格岗尼图 部分量词 一致性
• 年，卷（期）: 2016,（1）
• 页码范围: 41-46
• 页数: 6页
• 分类号: O14
• 字数: 7637字
• 语种: 中文
• DOI: 10.13349/j.cnki.jdxbn.2016.01.016

摘要

传统逻辑主要指亚里士多德的三段论,它能否被一阶语言表达并被自动证明,长期以来是不清楚的.通过研究证明传统逻辑经典化(一阶语言表达和数理化)的障碍在于它的不协调性,进而消除了传统逻辑的不协调性,建立了改进的三段论推理的数学模型,同时改进了一阶逻辑,使之能够表达改进后的三段论.这些工作使得传统逻辑完全实现了协调化、经典化和自动化.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张寅生	中国科学技术信息研究所信息技术支持中心	21	93	5.0	9.0