| 模糊时序逻辑的语义及其广义重言式 |
| |
| 引用本文： | 陈图云,李丽.模糊时序逻辑的语义及其广义重言式[J].辽宁师范大学学报(自然科学版),2004,27(2):129-131. |
| |
| 作者姓名： | 陈图云 李丽 |
| |
| 作者单位： | 辽宁师范大学,数学学院,辽宁,大连,116029 |
| |
| 摘 要： | 讨论了时序命题逻辑系统MPTL模糊化的问题，给出了模糊时序命题逻辑系统FMPTL的语义及其广义重言式的概念，并讨论了广义重言式的分类．
|
| 关 键 词： | 模糊时序逻辑 语义 广义重言式 克里普克语义 广义泛代数 计算机科学 |
| 文章编号： | 1000-1735(2004)02-0129-03 |
| 修稿时间： | 2003年12月15 |
The Semantics and Generalized Tautology of Fuzzy Temporal Logic |
| |
| CHEN Tu-yun,LI Li.The Semantics and Generalized Tautology of Fuzzy Temporal Logic[J].Journal of Liaoning Normal University(Natural Science Edition),2004,27(2):129-131. |
| |
| Authors: | CHEN Tu-yun LI Li |
| |
| Abstract: | The fuzzy problem of MPTL of the fuzzy temporal logic system is discnssed,including the definition of the semantic and the generalized tautology of the FMPTL and classification of the generalized tautology of the FMPTL. |
| |
| Keywords: | |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
