| 施庆生,张东摩,朱梧槚.中介时序逻辑系统MTL的完备性[J].数学研究及应用,2002,22(3):497~502 |
| 中介时序逻辑系统MTL的完备性 |
| The Completeness of Medium Temporal Logic |
| 投稿时间：1999-11-01 |
| DOI：10.3770/j.issn:1000-341X.2002.03.031 |
| 中文关键词: 中介逻辑 模型 完备性 中介时序逻辑 |
| 英文关键词:medium logic model completeness medium temporal logic. |
| 基金项目:国家自然科学基金资助(69785004) |
|
| 摘要点击次数: 2660 |
| 全文下载次数: 1346 |
| 中文摘要: |
| 本文对[1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性. |
| 英文摘要: |
| Following article[l],this paper continuously discusses the system of MTL(Medi-umTemporal Logic). In that one,we put emphsis on the discussion of formal system for MTL and only showed the soundness of it. Based on it,we present a model which is ordinal,transitive,and connected ,and prove completeness of the system of MTL. |
| 查看全文 查看/发表评论 下载PDF阅读器 |
|
|
|
