10.3969/j.issn.1673-9841.2007.03.020
以目的与背景知识为双条件的逻辑AKC
首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果.其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的.最后,我们证明AKC相对这些框架条件也是框架完全的.
条件句系统、有序邻域语义、框架可靠性、框架完全性
33
B815.1(逻辑学(论理学))
教育部人文社会科学重点研究基地项目05JJD720.40001
2007-06-18(万方平台首次上网日期,不代表论文的发表时间)
共7页
95-101