| 知识蕴涵时态逻辑系统 |
| |
| 引用本文： | 杜国平. 知识蕴涵时态逻辑系统[J]. 安徽大学学报(哲学社会科学版), 2009, 33(5) |
| |
| 作者姓名： | 杜国平 |
| |
| 作者单位： | 南京大学,哲学系,江苏,南京,210093 |
| |
| 摘 要： | 在知识蕴涵命题逻辑的基础上,可以构建一个知识蕴涵时态命题逻辑系统,它可以描述包含时态信息的不协调知识系统的推理机制。根据给出的形式语义,可以证明该系统的可靠性和完全性。
|
| 关 键 词： | 知识蕴涵 时态 可靠性 完全性 逻辑 |
The System of Knowledge Implication Tense Logic |
| |
| DU Guo-ping. The System of Knowledge Implication Tense Logic[J]. Journal of Anhui University(Philosophy & Social Sciences), 2009, 33(5) |
| |
| Authors: | DU Guo-ping |
| |
| Affiliation: | 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. |
| |
| Keywords: | knowledge implication tense reliability completeness logic |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
