本站原创
摘要：模型论是数理逻辑的主要分支学科之一,是研究形式语言及其解释(模型)之间关系的理论。作为格值逻辑的一个,一阶逻辑的格值模型论已有了一系列深入的研究,Keisler定义了带广义量词Q的一阶逻辑φ( Q)的二值弱模型,并给出了关于弱模型的一系列性质。多值逻辑的研究是智能信息处理系统的基础研究中一个非常活跃的前沿方向,该方向将有希望使计算机科学和人工智能的研究产生质的飞跃。多值逻辑系统中具有十分丰富内涵的系统之一是格值逻辑系统。基于有关格蕴涵代数和格值逻辑的研究成果,对如下几个展开了深入而的研究:1.介绍了紧致性定理、超积基本定理、省略型定理的,讨论了其基本性质。2.介绍了紧致性定理、超积基本定理、省略型定理在φ( Q)下的三种定理。介绍三种基本定理,为一定的逻辑基础,为不确定性推理寻求合理的解释。3.在格蕴涵代数研究,介绍了判断格蕴涵代数具有单调性的方法。4.格值逻辑系统研究,在L~* -格值逻辑语义框架下,以L~* -格值上的Lukasiewicz蕴含算子为工具定义了L~* -格值逻辑上的直觉不分明化BCH -代数的。讨论了在该下的有关性质。对基于格蕴涵代数的格值一阶逻辑系统的模型论了初步的研究。关键词：模型论论文格蕴含代数论文格值逻辑系统论文紧致性定理论文
摘要4-5
Abstract5-7
章 绪论7-10
1.1 格值模型理论与格值逻辑系统的现状研究的背景和选题8-9
1.2 论文的主要安排和主要成果9-10
章 背景知识10-29
2.1 紧致性定理10-19
2.2 超积基本定理19-25
2.3 省略型定理25-29
章 L(Q)的紧致性定理，超积基本定理，省略型定理29-36
3.1 φ(Q)的紧致性定理29-31
3.2 φ(Q)的超积基本定理31-32
3.3 φ(Q)的省略型定理32-36
章 格值逻辑系统的现状研究36-39
4.1 格蕴含代数的研究36-37
4.2 关于格值逻辑的研究37-39
第五章 总结与展望39-41