|
|||||
|
|
| 基于区间的三值时态逻辑 | |
| 引用本文： | 周文华.基于区间的三值时态逻辑[J].湖北社会科学,2009(3). |
| 作者姓名： | 周文华 |
| 作者单位： | 武汉大学,哲学学院,湖北,武汉,430072 |
| 摘 要： | 由于许多句子的真值是相对于一定的时段或区间的,所以建立基于区间的三值时态逻辑是必要的。但是基于区间的乌卡谢维奇式三值时态逻辑系统(L3.1,L3.2)并不具有保均致性,于是又提出了一种能保广义基本均致性的语言(L’),给出了相关的语义。 |
| 关 键 词： | 时态逻辑 三值逻辑 基于区间的时态逻辑 三值时态逻辑 保均致性 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |