计算机科学中的一些逻辑理论的推理性质研究

• 作者: 张玉平
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 一阶谓词逻辑 非经典逻辑 模型论
• 年，卷（期）: 1999,（6）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 571-576
• 页数: 6页
• 分类号: TP301
• 字数: 8051字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.1999.06.003

摘要

由于一阶谓词逻辑的基本特征是具有可靠性、完全性,在推广一阶谓词逻辑表达能力及扩充其推理能力时,可以定义一些具有可靠性、完全性的逻辑,对此,在分析逻辑理论特征的基础上,给出一些逻辑的推理系统之间相似性的实质,证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力,并指出非单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张玉平	北京航空航天大学计算机科学与工程系	3	10	2.0	3.0