摘要 | 第1-6页 |
Abstract | 第6-8页 |
第一章 引言 | 第8-11页 |
第二章 预备知识 | 第11-14页 |
第三章 对偶统一模与有补统一模的研究 | 第14-18页 |
§3.1 对偶统一模与有补统一模 | 第14-16页 |
§3.2 一种构造新的对偶(有补)统一模的方法 | 第16-18页 |
第四章 基于析取统一模的S蕴涵的研究 | 第18-24页 |
§4.1 基于析取统一模的S蕴涵的性质 | 第18-19页 |
§4.2 基于析取统一模的S蕴涵的两个等价刻画 | 第19-21页 |
§4.3 析取幂等统一模与析取表现统一模生成S蕴涵的研究 | 第21-24页 |
第五章 基于合取统一模的蕴涵I_(U,N)的研究 | 第24-31页 |
§5.1 基于合取统一模的蕴涵I_(U,N)的定义及性质 | 第24-25页 |
§5.2 基于合取统一模的蕴涵I_(U,N)的两个等价刻画 | 第25-26页 |
§5.3 模糊蕴涵I_(U,N)=I_S及严格模糊蕴涵I_(U,N)=I_R的充要条件 | 第26-31页 |
参考文献 | 第31-35页 |
致谢 | 第35-36页 |
附录 | 第36页 |