| 摘要 | 第1-4页 |
| 引言 | 第4-5页 |
| 第一章 广义泛代数 | 第5页 |
| 第二章 模糊时序命题逻辑系统的语义 | 第5-10页 |
| ·语义 | 第6-9页 |
| ·含有模态词的公式的简化 | 第9-10页 |
| 第三章 有限模糊时序逻辑代数及其广义重言式 | 第10-14页 |
| ·有限模糊时序逻辑代数及其子代数 | 第11页 |
| ·有限模糊时序逻辑的广义重言式 | 第11-14页 |
| 第四章 模糊时序命题逻辑系统M|-的广义重言式 | 第14-17页 |
| 第五章 系统M|-中的Σ─广义重言式理论与类类互异定理 | 第17-27页 |
| ·系统M_n与部分赋值 | 第17-18页 |
| ·M_n的对称表示法 | 第18-19页 |
| ·M_(2n)与M_(2n+1)中的α─重言式 | 第19-21页 |
| ·可达α─重言式和可达α─矛盾式 | 第21-22页 |
| ·类类互异定理和升级算法(降级算法) | 第22-25页 |
| ·有限值系统中广义重言式的重言式表示定理 | 第25-27页 |
| 第六章 系统M|-中的广义语义MP规则和广义语义HS规则 | 第27-31页 |
| ·系统M|-中的广义语义MP规则 | 第27-29页 |
| ·系统M|-中的广义语义HS规则 | 第29-31页 |
| 结束语 | 第31页 |
| 致谢 | 第31-32页 |
| Abstract | 第32页 |
| 参考文献 | 第32-34页 |
| 学位论文独创性声明 | 第34页 |
| 学位论文版权的使用授权书 | 第34页 |