| 摘要 | 第1-5页 |
| Abstract | 第5-8页 |
| 前言 | 第8-10页 |
| 第一章 预备知识 | 第10-13页 |
| §1.1 剩余格Fuzzy蕴涵代数的概念和部分性质 | 第10-11页 |
| §1.2 BL代数、BR_0代数的概念和部分性质 | 第11-13页 |
| 第二章 预线性剩余格 | 第13-20页 |
| §2.1 预线性剩余格的概念和基本性质 | 第13-14页 |
| §2.2 预线性剩余格上的MP滤子 | 第14-16页 |
| §2.3 预线性剩余格的完备性 | 第16-20页 |
| 第三章 形式系统PL* | 第20-32页 |
| §3.1 语义理论 | 第20-21页 |
| §3.2 语构理论 | 第21-26页 |
| §3.3 命题演算系统PL*的完备性 | 第26-32页 |
| 第四章 PL*系统与Basic Logic系统、BL*系统之间的关系 | 第32-40页 |
| §4.1 预线性剩余格与BL代数、BR_0代数的关系 | 第32-34页 |
| §4.2 PL*系统与Basic Logic系统之间的关系 | 第34页 |
| §4.3 PL*系统与BL*系统之间的关系 | 第34-40页 |
| 第五章 弱格蕴涵代数 | 第40-51页 |
| §5.1 N_1-MV代数与N_2-MV代数 | 第40-44页 |
| §5.2 弱格蕴涵代数 | 第44-49页 |
| §5.3 R_0代数的简化 | 第49-51页 |
| 总结 | 第51-52页 |
| 参考文献 | 第52-54页 |
| 致谢 | 第54-55页 |
| 攻读硕士学位期间的研究成果 | 第55页 |
