文献详情


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

外文标题	DEDUCTION PROPERTY OF SOME LOGICS APPLIED TO COMPUTER SCIENCE
文献类型	期刊
作者	Zhang, Yuping[1]
机构	[1]Beijing Univ of Aeronautics and, Astronautics, Beijing, China ↓
通讯作者	Zhang, Yuping
来源信息	年:1999卷:22期:6页码范围:571-576
期刊信息	计算机学报ISSN:0254-4164
关键词	一阶谓词逻辑;非经典逻辑;模型论
摘要	由于一阶谓词逻辑的基本特征是具有可靠性、完全性,在推广一阶谓词逻辑表达能力及扩充其推理能力时,可以定义一些具有可靠性、完全性的逻辑,对此,在分析逻辑理论特征的基础上,给出一些逻辑的推理系统之间相似性的实质,证明这些逻辑在实质上并不能扩充一阶谓词逻辑的推理能力,并指出非单调推理中的缺省推理及限定推理所采用的技术是扩充时必需的.
收录情况	EI(2000215121049)PKUCSCD
链接地址	http://d.g.wanfangdata.com.cn/Periodical_jsjxb199906003.aspx
DOI	10.3321/j.issn:0254-4164.1999.06.003
人气指数	1
浏览次数	1
基金	国家自然科学基金

影响因子：


暂无成果共有人
dc:title:计算机科学中的一些逻辑理论的推理性质研究
dc:creator:张玉平
dc:date: publishDate:1999-06-12
dc:type:期刊
dc:format: Media：计算机学报
dc:identifier: LnterrelatedLiterature：计算机学报.1999,22(6),571-576.
dc:identifier:DOI：10.3321/j.issn:0254-4164.1999.06.003
dc: identifier:ISBN:0254-4164