节点文献

知识蕴涵时态逻辑系统

The System of Knowledge Implication Tense Logic

  • 推荐 CAJ下载
  • PDF下载
  • 不支持迅雷等下载工具，请取消加速工具后下载。

【作者】 杜国平；

【Author】 DU Guo-ping(Department of Philosophy,Nanjing University,Nanjing,Jiangsu 210093)

【机构】 南京大学哲学系；

【摘要】 在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。

【Abstract】 At the basic of knowledge implication propositional logic,a system of knowledge implication tense prepositional logic system has been built.It can describe inference mechanism of inconsistent knowledge system which includes in tense information.According to given formal semantic,it has been proven the reliability and completeness of this system.

【关键词】 知识蕴涵； 时态； 可靠性； 完全性； 逻辑；
【Key words】 knowledge implication； tense； reliability； completeness； logic；
  • 【文献出处】 安徽大学学报(哲学社会科学版) ,Journal of Anhui University(Philosophy & Social Sciences) , 编辑部邮箱 ,2009年05期
  • 【分类号】B812
  • 【被引频次】7
  • 【下载频次】148
打印本页
节点文献中：