引言 | 第4-7页 |
1 有限扰动模糊命题逻辑代数及其广义重言式 | 第7-11页 |
1.1 有限扰动模糊逻辑代数及其子代数 | 第7-9页 |
1.2 有限扰动模糊逻辑系统的广义重言式 | 第9-11页 |
2 扰动模糊命题逻辑1的最大子代数1及其广义重言式 | 第11-18页 |
2.1 修正的扰动模糊逻辑代数 | 第12页 |
2.2 1的最大子代数1 | 第12-15页 |
2.3 1的广义重言式分类 | 第15-18页 |
3 有限扰动模糊逻辑系统1的1广义重言式及其类类互异定理和表示定理 | 第18-30页 |
3.1 系统1与部分赋值 | 第18-19页 |
3.2 1的对称表示法 | 第19-20页 |
3.3 1和1中的1重言式 | 第20-22页 |
3.4 可达1重言式 | 第22-24页 |
3.5 类类互异定理与升级算法 | 第24-26页 |
3.6 有限值系统中广义重言式的重言式表示定理 | 第26-30页 |
致 谢 | 第30页 |
参考文献 | 第31页 |