| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 前言 | 第6-8页 |
| 第1章 预备知识 | 第8-12页 |
| 1.1 BL命题逻辑系统的基本知识 | 第8-10页 |
| 1.2 BL命题逻辑系统中的语义理论 | 第10-12页 |
| 第2章 BL命题逻辑系统中F(S)上的演绎系统 | 第12-22页 |
| 2.1 F(S)上的演绎系统 | 第12-13页 |
| 2.2 F(S)上的完全演绎系统及其性质 | 第13-16页 |
| 2.3 BL系统的强同余关系及其与演绎系统之间的联系 | 第16-22页 |
| 第3章 F(S)上的演绎系统集代数 | 第22-30页 |
| 3.1 F(S)上的演绎系统集代数及其相应性质 | 第22-27页 |
| 3.2 F(S)上理论r的基及其相关性质 | 第27-30页 |
| 第4章 BL命题逻辑系统的完备性定理 | 第30-40页 |
| 4.1 演绎系统诱导的商代数的性质 | 第30-32页 |
| 4.2 BL-Lindenbaum代数的嵌入定理 | 第32-36页 |
| 4.3 BL命题逻辑系统的完备性定理的证明 | 第36-40页 |
| 结论 | 第40-42页 |
| 参考文献 | 第42-44页 |
| 致谢 | 第44-46页 |
| 攻读硕士学位期间科研成果 | 第46页 |