摘要 | 第1-5页 |
Abstract | 第5-7页 |
第一章 绪论 | 第7-10页 |
·格值模型理论与格值逻辑系统的现状研究的背景和选题意义 | 第8-9页 |
·论文的主要安排和主要成果 | 第9-10页 |
第二章 背景知识 | 第10-29页 |
·紧致性定理 | 第10-19页 |
·超积基本定理 | 第19-25页 |
·省略型定理 | 第25-29页 |
第三章 L(Q)的紧致性定理,超积基本定理,省略型定理 | 第29-36页 |
·φ(Q)的紧致性定理 | 第29-31页 |
·φ(Q)的超积基本定理 | 第31-32页 |
·φ(Q)的省略型定理 | 第32-36页 |
第四章 格值逻辑系统的现状研究 | 第36-39页 |
·格蕴含代数的研究 | 第36-37页 |
·关于格值逻辑的研究 | 第37-39页 |
第五章 总结与展望 | 第39-41页 |
参考文献 | 第41-43页 |
致谢 | 第43-44页 |
攻读硕士学位期间出版或发表的论著、论文 | 第44页 |