| 中介时序逻辑系统MTL的完备性 |
| |
| 引用本文： | 施庆生,张东摩,朱梧槚.中介时序逻辑系统MTL的完备性[J].数学研究及应用,2002,22(3):497-502. |
| |
| 作者姓名： | 施庆生 张东摩 朱梧槚 |
| |
| 作者单位： | 1. 南京工业大学理学院,江苏,南京,210009
2. 南京航空航天大学计算机科学系,江苏,南京,210016 |
| |
| 基金项目： | 国家自然科学基金资助(69785004) |
| |
| 摘 要： | 本文对1]中的系统MTL进行了进一步的讨论,给出了它的模型论性质,基于中介逻辑,构造了一种可传有序模型,证明了MTL系统的完备性.
|
| 关 键 词： | 中介逻辑 模型 完备性 中介时序逻辑 |
| 文章编号： | 1000-341X(2002)03-0497-06 |
| 收稿时间： | 1999/11/1 0:00:00 |
| 修稿时间： | 1999年11月1日 |
The Completeness of Medium Temporal Logic |
| |
| SHI Qing-sheng,ZHANG Dong-mo and ZHU Wu-jia.The Completeness of Medium Temporal Logic[J].Journal of Mathematical Research with Applications,2002,22(3):497-502. |
| |
| Authors: | SHI Qing-sheng ZHANG Dong-mo and ZHU Wu-jia |
| |
| Affiliation: | School of Science; NUT; Nanjing Jiangsu; China;Dept. of Computer Science and Engineering; NUAA; China;Dept. of Computer Science and Engineering; NUAA; China |
| |
| Abstract: | Following articlel],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. |
| |
| Keywords: | medium logic model completeness medium temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《数学研究及应用》浏览原始摘要信息 |
|
点击此处可从《数学研究及应用》下载全文 |
|
