前言 | 第1-9页 |
第一章 广义剩余格 | 第9-20页 |
§1.1 预备知识 | 第9-11页 |
§1.2 广义剩余格 | 第11-13页 |
§1.3 广义剩余格上的几组重要附加条件 | 第13-17页 |
§1.4 正规广义剩余格 | 第17-20页 |
第二章 广义R_0-代数 | 第20-35页 |
§2.1 广义R_0 t-模 | 第20-23页 |
§2.2 广义R_0-代数 | 第23-27页 |
§2.3 广义R_0-代数中的滤子 | 第27-35页 |
第三章 PL公理体系 | 第35-43页 |
§3.1 PL公理体系 | 第35-38页 |
§3.2 PL公理体系的[F]-完备性 | 第38-41页 |
§3.3 PL公理体系的广义演绎定理 | 第41-43页 |
总结 | 第43-44页 |
参考文献 | 第44-46页 |
致谢 | 第46-47页 |
攻读硕士学位期间的研究成果 | 第47-48页 |