| <中文摘要> | 第1页 |
| <中文关键词> | 第3页 |
| 引言 | 第3-5页 |
| 第一章 有限Atanassov逻辑代数及其广义重言式 | 第5-10页 |
| ·有限Atanassov逻辑及其子代数 | 第5-7页 |
| ·有限Atanassov逻辑的广义重言式 | 第7-10页 |
| 第二章 修正的Atanassov逻辑系统及其广义重（假）言式 | 第10-15页 |
| ·修正的Atanassov逻辑代数Ⅰ_α | 第11页 |
| ·Ⅰ_A中广义重言式的分类 | 第11-15页 |
| 第三章 修正的Atanassov逻辑中的∑—广义重言式理论与类类互异定理 | 第15-24页 |
| ·系统Ⅰ_{A_n}与部分赋值 | 第15-16页 |
| ·Ⅰ_{A_n}的对称表示 | 第16-17页 |
| ·Ⅰ_{A_{2n}}与Ⅰ_{A_{2n+1}}中的（α,β）-重言式 | 第17-18页 |
| ·可达（α，β）-重（假）言式 | 第18-19页 |
| ·类类互异定理与升（降）级算法 | 第19-22页 |
| ·有限值系统中广义重言式(矛盾式)的表示定理 | 第22-24页 |
| 结束语 | 第24页 |
| 致谢 | 第24页 |
| 参考文献 | 第24页 |
| <参考文献> | 第24-25页 |
| <英文摘要> | 第25-26页 |
| <英文关键词> | 第26页 |