基本命题逻辑模型类的可定义性研究
| 摘要 | 第4-5页 |
| ABSTRACT | 第5-6页 |
| 文献综述 | 第7-9页 |
| 第1章 模型类的可定义性 | 第9-22页 |
| 1.1 模态逻辑模型类的可定义性 | 第9-13页 |
| 1.1.1 模态逻辑的语言和语义 | 第9页 |
| 1.1.2 模态逻辑的模型构造 | 第9-13页 |
| 1.2 直觉主义逻辑模型类的可定义性 | 第13-22页 |
| 1.2.1 直觉主义逻辑的语言及语义 | 第13-16页 |
| 1.2.2 直觉主义逻辑的模型构造 | 第16-22页 |
| 第2章 基本命题逻辑及其与直觉主义逻辑的关系 | 第22-26页 |
| 2.1 基本命题逻辑的语言和语义 | 第22-23页 |
| 2.2 BPL的公理系统和自然演绎系统 | 第23-25页 |
| 2.2.1 BPL的公理系统 | 第23-24页 |
| 2.2.2 BPL的自然演绎系统 | 第24-25页 |
| 2.3 基本命题逻辑和直觉主义逻辑的关系 | 第25-26页 |
| 第3章 基本命题逻辑的互模拟与模型构造 | 第26-34页 |
| 3.1 互模拟的基本概念及性质 | 第26-27页 |
| 3.2 基本模型构造 | 第27-34页 |
| 3.2.1 生成子模型 | 第27-30页 |
| 3.2.2 不相交并 | 第30-32页 |
| 3.2.3 超积和超幂 | 第32-34页 |
| 第4章 典范扩张及BPL可定义性定理 | 第34-41页 |
| 第5章 总结及展望 | 第41-42页 |
| 参考文献 | 第42-43页 |
| 致谢 | 第43-44页 |
| 科研成果及发表论文 | 第44页 |
