L值—阶逻辑Lvfl研究.pdfVIP

第八届全国多值逻辑与模糊逻辑学术会议论文，深圳,1998,12 L.值一阶逻辑Lvfl. 徐 扬.秦克云，刘 军，宋振明 (西南交通大学应用数学系，成都610031) Fmail:yxu)center2.switu.edu.cn I摘 要I本文基于格盆洒代数和 ‘值命题逻样Ly,.建立了两种类型的分层 ‘型格值 一阶逻样系统Ln，研究了它们语义、语法和紧性问题，证明了两种类型Ln的 ‘型。一可金 性、(a渭)一完备性、(a渭)一协调性和(。，夕刀)一演蜂定理. 关健词:乙值一阶逻样，可方性，完备性，协调性，萦性 1引 言 于较一般的格上，但所给出的重要结论可惜 又回到了0〔,1)或有限链上.尽管如此，这些 格值逻辑是一种重要的多值逻辑.它的 结论确实显现了Fuzyz逻辑的逻辑特征. 研究有两个重要意义:第一，它把已有的多值 1982年，Novak在Pavelka工作的基础上.在 逻辑(43(如二值逐辑几ukasiewicz,Bochvar,(0,1〕或有限链上又引人了一阶Fuzzy逻辑 Kleene,Heyting,Finn,Hallden、人gvlst、系统(3)，特别提出了一般化量词.Novak证明 Segerberg,Slupecki和，bociilski等的三值逻 了该系统的可靠性及完备性.此后仍有不少 辑，Lukasiewicz,Post,Slupecki,Sobocinski和 作者沿此方向做了许多盆要的工作4〔-10). Godel等的n值逻辑以及在[(0,1〕上取真值的 为了以较一般的格为真值域建立逻辑系 Lukasiewicz3MZadeh的无穷值逻辑)的链型 统，1990年，我们在国家自然科学基金项目 真值域拓广为较一般的格，进而更有效地描 抽“象模糊逻辑的研究”中，首先把格与筑涵 述人类思维、判断和决策的不确定性.尤其是 代数相结合建立了格蕴涵代数川〔，并对格蕴 对真值不完全可比较性的研究能够更真实地 涵代数的结构作了较多的研究(14-34,46)，这 描述人类的思维活动.因此，格值逻辑的研究 些工作为建立相应的逻辑系统从代数学的角 对代数逻辑、计算机科学及人工智能技术的 度莫定了基础.1993年，我们提出了基于格 发展正在产生普重要的影响;其次，作为数 组涵代数的格值命题逻辑代数LP(X)，并研 学理论本身，格值逻辑的研究也具有重要的 究了其中的语义问题(3-4),1994年研究了其 理论价值，它将是经典数理逻辑理论的推广 中的语法问题(36)建立了LP(X)中的可靠 和扩充。 性、演绎定理和弱完备性，1996年在此基础 1969年，Goguen在完备的格序半群上提 上改进了证明的定义，在一定条件下重新刻 出了第一个格值逻辑的形式系统(1)，该系统 划了LP(X)的可靠性、演绎定理和完备 .声 仅是一个语义系统，没有一个与之相应的语 性37〔,36,39).其间，1994年提出了LP(X)的 法系统，但其中引人丰富剩余格的概念却为 L-型格值命题逻辑。建立了相应的可靠性、 格值逻辑的研究提供了思想方法.于是，1979 演绎定理和协调性40〔).19%年和1997年，基 年，Pavelka在丰富剩余格的基础上提出了一 于L-型格值命题逻辑，提出了含有量词d和 个格值命题逻辑系统(z).虽其中的概念建立 日的一阶格值逻辑系统FM，建立了FM 的 .国家自然科学基金资助项目(资助号69774016) 第八届全国多值逻辑与模糊逻辑学术会议论文，深圳,1998,12 可靠性、演绎定理和协调性38〔.39.41.42.47)，并 称满足下述的集合 T.中的最小者为 研究了FM 的一些模型论性质:紧致性 和 从,n的项集T- Lowenheim-Skolem性43〔)作为LP(X)的 (1)VUCQT哥; 应用，基于Lukasiewicz范涵算子，1994年 (2)对任意的jEJ，若11,·,气ET, 建立7Fuzyz命题逻辑FP(X)(44),1995则f