论文部分内容阅读
模型论是数理逻辑的主要分支学科之一,是研究形式语言及其解释(模型)之间关系的理论。作为格值逻辑的一个方面,一阶逻辑的格值模型论已有了一系列深入的研究,Keisler定义了带广义量词Q的一阶逻辑QL的二值弱模型概念,并给出了关于弱模型的一系列性质。多值逻辑的研究是智能信息处理系统的基础研究中一个非常活跃的前沿方向,该方向将有希望使计算机科学和人工智能的研究产生质的飞跃。多值逻辑系统中具有十分丰富内涵的系统之一是格值逻辑系统。本文基于有关格蕴涵代数和格值逻辑的研究成果,对如下几个方面展开了深入而详细的研究:1.介绍了紧致性定理、超积基本定理、省略型定理的概念,重点讨论了其基本性质。2.介绍了紧致性定理、超积基本定理、省略型定理在QL下的三种定理。通过介绍三种基本定理,为提供一定的逻辑基础,为不确定性推理寻求合理的解释。3.在格蕴涵代数研究方面,介绍了判断格蕴涵代数具有单调性的方法。4.格值逻辑系统研究方面,在*L-格值逻辑语义框架下,以*L-格值上的Lukasiewicz蕴含算子为工具定义了*L-格值逻辑上的直觉不分明化BCH-代数的概念。讨论了在该概念下的有关性质。对基于格蕴涵代数的格值一阶逻辑系统的模型论进行了初步的研究。