L-值—阶逻辑Lvfl.pdfVIP

第八届全国多值逻辑与模糊逻辑学术会议论文，深圳，1998，12 L-值一阶逻辑L印’ 徐扬，秦克云，刘军，宋振明 (西南交通大学应用数学系。成都610031) Emaih yxu@center2．swjtu．edu．cn 【摘耍l本文基于格蕴涵代数和L值命题逻辑L叫。建立了两种类型的分层L-型格值 一阶逻辑系统L研，研究了它们语义、语法和紧性问题，证明了两种类型L郇的L-型口一可靠 性、(口，p)一完备性、(口，卢)一协调性和(口，p，口)一演蜂定理． 关键词：L-值一阶逻辑，可靠性，完备性，协调性，紧性 1引言 于较一般的格上，但所给出的重要结论可惜 又回到了(0，1]或有限链上．尽管如此，这些 格值逻辑是一种重要的多值逻辑．它的 结论确实显现了Fuzzy逻辑的逻辑特征． 研究有两个重要意义：第一，它把已有的多值 1982年。Novak在Pavelka工作的基础上。在 逻辑¨’(如二值逻辑，L血siewiez、Boehvar、 [0。1]或有限链上又引入了一阶Fuzzy逻辑 Khene，Heyting、Finn、Halld目l，』qvist，系统【3J，特别提出了一般化量词．Novak证明 Sege蛔、Slupeeki和Soboci矗ski等的三值逻了该系统的可靠性及完备性．此后仍有不少 辑。Lukasiewicz、Post、Slupeeki、Soboeifiski和 作者沿此方向做了许多重要的工作(4-zo】． Gbdel等的n值逻辑以及在[0，1]上取真值的 为了以较一般的格为真值域建立逻辑系 L血崩e州∞和Zadeh的无穷值逻辑)的链型 统，1990年，我们在国家自然科学基金项目 真值域拓广为较一般的格，进而更有效地描 “抽象模糊逻辑的研究”中，首先把格与蕴涵 述人类思维、判断和决策的不确定性．尤其是 代数相结合建立了格蕴涵代数L14J，并对格蕴 对真值不完全可比较性的研究能够更真实地 涵代数的结构作了较多的研究【¨～，4，4“，这 描述人类的思维活动．因此，格值逻辑的研究 些工作为建立相应的逻辑系统从代数学的角 对代数逻辑、计算机科学及人工智能技术的 度奠定了基础．1993年．我们提出了基于格 发展正在产生着重要的影响；其次，作为数 蕴涵代数的格值命题逻辑代数LP(X)，并研 学理论本身，格值逻辑的研究也具有重要的 究了其中的语义问题【35m】，1994年研究了其 理论价值，它将是经典数理逻辑理论的推广 中的语法问题【3“，建立了LP(x)中的可靠 和扩充。 性、演绎定理和弱完备性。1996年在此基础 。 1969年，Goguen在完备的格序半群上提上改进了证明的定义，在一定条件下重新刻 出了第一个格值逻辑的形式系统【1J，该系统 划了LP(x)的可靠性、演绎定理和完备 ·膏 仅是一个语义系统，没有一个与之相应的语 性【37·38，39】．其问，1994年提出了LP(x)的 法系统，但其中引入丰富剩余格的概念却为 L型格值命题逻辑。建立了相应的可靠性、 格值逻辑的研究提供了思想方法．于是，1979演绎定理和协调性…j．1996年和1997年，基 年。Pavelka在丰富剩余格的基础上提出了一于L-型格值命题逻辑，提出了含有量词V和 个格值命题逻辑系统【”．虽其中的概念建立 j的一阶格值逻辑系统FM，建立了FM的 ·国索自然科学基金资助项目(资助号69774016) 一58— 第八届全国多值逻辑与模糊逻辑学术会议论文，深圳。1998，12 可靠性、演绎定理和协调性【38,39,41．