| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 前言 | 第7-9页 |
| 第一章 基本知识 | 第9-14页 |
| ·t-模及相关概念 | 第9-10页 |
| ·多值逻辑系统H_α的概念 | 第10-12页 |
| ·系统H_α中广义重言式概念 | 第12页 |
| ·蕴涵算子同构及其对广义重言式的影响 | 第12-14页 |
| 第二章 多值逻辑系统H_α | 第14-26页 |
| ·系统H_(1/2)中的一个分划 | 第14-17页 |
| ·系统H_(1/2)中广义语义MP规则 | 第17-19页 |
| ·系统H_(1/2)中广义语义HS规则 | 第19-21页 |
| ·基于蕴涵算子H_α(x,y)的三I算法 | 第21-26页 |
| 第三章 效应代数与偏蕴涵代数 | 第26-36页 |
| ·预备知识 | 第26-28页 |
| ·效应代数与其它代数之间的关系 | 第28-30页 |
| ·偏蕴涵代数 | 第30-36页 |
| 总结 | 第36-37页 |
| 参考文献 | 第37-40页 |
| 致谢 | 第40-41页 |
| 攻读硕士学位期间的研究成果 | 第41页 |