| 计算机科学中的一些逻辑理论的推理性质研究 |
| |
| 引用本文： | 张玉平.计算机科学中的一些逻辑理论的推理性质研究[J].计算机学报,1999,22(6):571-576. |
| |
| 作者姓名： | 张玉平 |
| |
| 作者单位： | 北京航空航天大学计算机科学与工程系,北京,100083 |
| |
| 摘 要： | 由于一阶 词逻辑的基本特征是具有可靠性，完全性，在推广一阶谓词逻辑表达能力及扩充其推理能力时，可以定义了了一些具有可靠性，完全性的逻辑，对此，在分析逻辑理论特征的基础上，给出了一些逻辑的推理系统之间相似性的实质，证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力，并指出非常单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的。
|
| 关 键 词： | 一阶谓词逻辑 非经典逻辑 模型论 |
| 修稿时间： | 1997年9月29日 |
DEDUCTION PROPERTY OF SOME LOGICS APPLIED TO COMPUTER SCIENCE |
| |
| ZHANG Yu-Ping.DEDUCTION PROPERTY OF SOME LOGICS APPLIED TO COMPUTER SCIENCE[J].Chinese Journal of Computers,1999,22(6):571-576. |
| |
| Authors: | ZHANG Yu-Ping |
| |
| Abstract: | |
| |
| Keywords: | First order predicate logic non classical logic model theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
