| 引言 | 第1-10页 |
| 第一章 预备知识:(?)系统和R_0-代数 | 第10-16页 |
| ·命题演算系统(?)及其代数结构 | 第10-13页 |
| ·MTL逻辑及其扩张 | 第13-16页 |
| 第二章 R_0-代数[0，1]的子代数与(?)系统的广义重言式理论 | 第16-31页 |
| ·R_0-区间的正则子R_0-代数 | 第16-21页 |
| ·R_0-区间无限子代数的广义重言式 | 第21-31页 |
| 第三章 □(?)系统:(?)系统的扩张及语言变量“相当真”的公理化 | 第31-48页 |
| ·□(?)系统的结构 | 第31-37页 |
| ·□(?)系统的代数结构:□R_0-代数 | 第37-48页 |
| 总结 | 第48-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-53页 |
| 攻读学位期间的研究成果 | 第53页 |