| 中文摘要 | 第1-4页 |
| 英文摘要 | 第4-5页 |
| 目录 | 第5-6页 |
| 前言 | 第6-10页 |
| 1 三角模及其相关算子 | 第10-16页 |
| ·三角模的基本概念及其性质 | 第10-12页 |
| ·三角模相关算子及其性质 | 第12-13页 |
| ·常见的三角模构造方法 | 第13-16页 |
| 2 弱否定上的旋转法和旋转零化法 | 第16-28页 |
| ·弱否定算子 | 第16-17页 |
| ·弱否定上的旋转法 | 第17-21页 |
| ·一些不适合旋转法的弱否定 | 第21-22页 |
| ·弱否定上的旋转零化法 | 第22-25页 |
| ·关于弱否定上旋转法和旋转零化法的注记 | 第25-28页 |
| 3 关于两类布尔迭代律的讨论 | 第28-34页 |
| ·布尔迭代律I(x,y)=I(x,I(x,y)) | 第28-31页 |
| ·S_D-QL蕴涵 | 第29-30页 |
| ·T_D-QL蕴涵 | 第30-31页 |
| ·布尔迭代律S(a,b)=S(T(a,b),T(S(a,b),N(T(a,b)))) | 第31-34页 |
| 参考文献 | 第34-36页 |
| 致谢 | 第36-38页 |
| 硕士期间研究成果 | 第38页 |