| 中文摘要 | 第1-7页 |
| 英文摘要 | 第7-11页 |
| 第1章 绪论 | 第11-23页 |
| §1．1 形成本文的学术背景 | 第11-12页 |
| §1．2 国内外研究现状分析 | 第12-21页 |
| §1．2．1 多值逻辑、模糊逻辑和格值逻辑的研究概况 | 第12-19页 |
| §1．2．2 模型论的研究概况 | 第19-21页 |
| §1．3 本文的主要研究内容 | 第21-23页 |
| 第2章 关于格蕴涵代数的研究 | 第23-35页 |
| §2．1 格蕴涵代数及其有关性质 | 第23-31页 |
| §2．2 局部有限的格蕴涵代数 | 第31-35页 |
| 第3章 实单位区间上格蕴涵代数的构造 | 第35-53页 |
| §3．1 格蕴涵代数的素对偶理想 | 第35-39页 |
| §3．2 格蕴涵代数的Priestley对偶性 | 第39-41页 |
| §3．3 Kleene代数上LIA-蕴涵运算的唯一性 | 第41-50页 |
| §3．4 六元格L_6和实单位区间[0，1]上格蕴涵代数的构造 | 第50-53页 |
| 第4章 格值命题逻辑系统L_P | 第53-81页 |
| §4．1格值命题逻辑系统L_P的基本结构 | 第53-56页 |
| §4．1．1 格值命题逻辑系统L_P的语言 | 第53-54页 |
| §4．1．2 格值命题逻辑系统L_P的语义 | 第54-55页 |
| §4．1．3 格值命题逻辑系统L_P的语法 | 第55-56页 |
| §4．2 格值命题逻辑系统L_P的定理 | 第56-73页 |
| §4．3 格值命题逻辑系统L_P~(LF)的重要性质 | 第73-81页 |
| 第5章 格值一阶逻辑系统L_F | 第81-103页 |
| §5．1 格值一阶逻辑形式系统L_F的基本结构 | 第81-88页 |
| §5．1．1 形式系统L_F的语言L | 第81-82页 |
| §5．1．2 形式系统L_F的语法 | 第82-84页 |
| §5．1．3 形式系统L_F的语义 | 第84-88页 |
| §5．2 格值一阶逻辑系统L_F的定理 | 第88-96页 |
| §5．3 格值一阶逻辑系统L_F~(LF)的完备性 | 第96-103页 |
| 第6章 格值一阶逻辑系统L_F的模型论 | 第103-137页 |
| §6．1 格值一阶逻辑系统L_F的模型 | 第103-105页 |
| §6．2 模型之间的相互关系 | 第105-120页 |
| §6．2．1 模型之间的同态和同构 | 第106-110页 |
| §6．2．2 子模型与扩充模型 | 第110-113页 |
| §6．2．3 初等等价模型，初等子模型和初等扩充模型 | 第113-116页 |
| §6．2．4 模型之间的相似性度量 | 第116-120页 |
| §6．3 模型的初等链 | 第120-122页 |
| §6．4 超积模型 | 第122-137页 |
| 结论 | 第137-139页 |
| 致谢 | 第139-140页 |
| 参考文献 | 第140-151页 |
| 攻读博士学位期间发表的论文及科研成果 | 第151-152页 |
