| 中文摘要 | 第1-5页 |
| 英文摘要 | 第5-8页 |
| 引言 | 第8-10页 |
| 第一章 预备知识:L~*系统和R_0代数 | 第10-14页 |
| §1.1 模糊命题演算的形式演绎系统L~* | 第10-11页 |
| §1.2 R_0代数的定义及性质 | 第11-14页 |
| 第二章 L~*系统中的模糊演绎定理的改进形式 | 第14-22页 |
| §2.1 L~*系统中的模糊演绎定理 | 第14页 |
| §2.2 L~*系统中的演绎定理 | 第14-22页 |
| 第三章 R_0代数的结构与性质 | 第22-41页 |
| §3.1 R_0代数的等价系统 | 第22-31页 |
| §3.2 R_0代数与MV代数、BCK代数等的区别与联系 | 第31-41页 |
| 总结 | 第41-42页 |
| 参考文献 | 第42-44页 |
| 致谢 | 第44-45页 |
| 攻读硕士学位期间的研究成果 | 第45页 |