格值模型理论与格值逻辑系统的现状研究应用数学专业论文.docx

目录格值模型理论与格值逻辑系统的现状研究 目录 格值模型理论与格值逻辑系统的现状研究 目录 第一章 绪论 1 1.1 格 值 模 型 理 论 与 格 值 逻 辑 系 统 的 现 状 研 究 的 背 景 和 选 题 意 义 2 1.2 论文的主要安排和主要成果 3 第二章 背景知识 4 2.1 紧致性定理 4 2.2 超积基本定理 14 2.3 省略型定理 20 第三章 L(Q)的紧致性定理，超积基本定理，省略型定理... 23 3.1 L(Q)的紧致性定理 23 3.2 L(Q)的超积基本定理 25 3.3 L(Q)的省略型定理 26 第四章 格值逻辑系统的现状研究 30 4.1 格蕴含代数的研究 30 4.2 关于格值逻辑的研究 31 第五章 总结与展望 33 参考文献 35 致 谢 37 攻读硕士学位期间出版或发表的论著、论文 38 格值模型 格值模型理论与格值逻辑系统的现状研究 第一章 绪论 PAGE PAGE 1 第一章 绪论 模型论是数理逻辑的主要分支学科之一，是研究形式语言及其解释（模型）之间 关系的理论。它是一个年轻的分支，近年来发展较快，并开始在一些经典数学学科中 得到独特的应用。 早在本世纪二十年代，Th.Skolem 等人在数理逻辑研究中就已经得到模型论性质 的重要结果，但作为较系统的理论，模型论的奠基人应推 A.Tarski,后来，A.Robinson 也 对 模 型 论 作 过 很 多 贡 献 。 在 这 方 面 贡 献 较 多 的 数 学 家 ， 主 要 还 有 R.Vaught,C.C.Chang,H.J.Keisler,M.Morley,S.Shelah,A.Macintyre 等人。模型论 与数理逻辑的其他分支（逻辑演算，证明论，递归论，公理集合论等）有着密切的联 系：首先，各种逻辑演算是模型论的基础。此外，例如：在证明论中，有关判定问题 的研究，广泛使用着模型论的方法。在公理集合论中，除了各种集合论模型之外，还 有布尔值模型被应用于各种独立性问题的研究；有关大基数的研究，也有与模型论有 密切的关系；又如，公理集合论中的力迫方法，也被移植于模型论中。在递归论方面， 很多重要的递归论概念被应用于研究各种代数结构，近年来并出现了递归模型论，等 等。模型论中的概念和方法，除了主要来源于数理逻辑之外，也有不少来源于代数， 它与抽象代数的联系很密切。另外，由 A.Robinson 创始的非标准分析，则是模型论 与分析数学相结合的产物。模型论与其他数学学科（例如，数论，拓扑学，概率论等） 也有联系。在不少场合，模型论的成果不但是作为数学性的结论起作用，而且是作为 逻辑性的结论而起的推理工具的作用。 一个形式语言 L 的解释U 称为此语言的一个模型（或称结构），U 是一个具有 若干运算，关系及特指元素的非空集合，也称泛代数，所以模型论又称为“泛代数加 逻辑”。由于所涉及的逻辑系统不同，模型论可以分为：一阶模型论，高阶模型论， 无穷长语言模型论，具有广义量词的模型论，模态模型论，多值模型论等。数理逻辑 中以一阶逻辑发展最为成熟，所以模型论也是以一阶模型论内容最为丰富，应用也最 多。紧致性定理及 LST 定理是模型论中关于模型存在性最基本的定理。完全理论及模 型完全理论对不少数学问题有应用。模型论的初等链是构作模型的常用方法。模型族 的超积在代数中应用教多。此外，饱和模型，模型论力迫法，以及 Skolem 函数，不 可辨元等，在模型论的进一步研究及应用中，也都是重要的工具和方法。模型论的成 果不但是作为数学性的结论起作用，而且还作为逻辑性的结论而起推理工具的作用。 PAGE PAGE 2 确实它在经典数学中有着独特的应用，它为数学论证提供了超出一般常规的新方法， 可以用来证明不少难以用常规方法证明的定理。格值逻辑是一种多值逻辑 ,它是二值 逻辑的推广。在格值逻辑中 ,命题或谓词的取值是具有补运算的完备格中的元素。它 的研究有着多方面的背景。从逻辑本身来说,公理集合论中,布尔值模型是力迫法(独 立性问题的证明)的一个重要工具。在计算机科学中 ,多值线路是一种典型的格值命 题演算。近年来 ,在知识状态的表示中 ,格值逻辑显示了它广阔的应用前景。 1.1 格值模型理论与格值逻辑系统的现状研究的背景和选题意 义 格值模型论是 80 年代初由王世强提出并给予奠基性研究的一种多值模型论，此 后沈复兴和卢景波等相继进行了一系列研究。王世强把二值模型论各结果向多值模型 论推广，证明了有限格值时的省略型