MV-代数中的⊕理想与同余关系及其相关性质.pdfVIP

60 2015，51(2) ComputerEngineeringandApplications计算机工程与应用 MV．代数中的0理想与同余关系及其相关性质 文贤红，吴洪博 W EN Xianhong．W U Hongbo 陕西师范大学 数学与信息科学学院，西安 710062 CollegeofMathematicsandInformationScience，ShaanxiNormalUniversity，Xi’an710062，China W EN Xianhong．W U Hongbo．Propertiesand connection of0 idealandcongruencerelationinM V-algebras．Com — puterEngineeringandApplications，2015，51(2)：60—63． Abstract：Theconceptof0 idealisintroducedinM V-algebraandthepropertiesandconnectionof0 idealandcongru— encerelation inMV-algebrasarediscussed．Theequivalentrepresentationof 0 idealisgivenby implicationoperator． andtheinternalrelationbetween 0 idealandMP—filterisrevealed．Thepropertiesofalternatelydeducingbetween ④ idealandcongruencerelationofMV-algebrasarestudiedandtheconnectionof0 idealandcongruencerelationisclear． Itisproved thatthequotientalgebrasdeducedby 0 idealinM V-algebraarealsoM V-algebrasby classicalalgebra’S method．Furthermore．itisprovedthatthequotientalgebradeducedby ① idealislinearalgebraifandonlyif0 idealis aprime0 idea1． Keywords：logicalalgebra；MV-algebra；① ideal；prime0 ideal；congruencerelation；alternatelydeducing；application 摘 要：在MV_代数中引入 了0理想概念，并对 0理想与同余关系的联 系及其相关性质进行 了初步研究。在MV_ 代数中利用蕴涵算子 给出了0理想的等价表示形式，进一步揭示了④理想与MP滤子的内在联系；在MV_代数 中研究了0理想与同余关系之间交互诱导的性质，揭示了0理想与同余关系的联 系；利用经典代数的方法证明了④ 理想所诱导的同余关系所确定的商代数仍是 M 代数 ，进而证 明了通过 ④理想所决定的商代数是线性 MV_代数 当 且仅 当0理想是素 ①理想。 关键词：逻辑代数；MV．代数；0理想；素 0理想；同余关系；交互诱导；应用 文献标志码：A I『I图分类号：O141．1 doi：10．3778~．issn1304．0391 随着计算机科学技术的迅速发展，非经典数理逻辑 方面相匹配的R。代数，为模糊推理建立了严滢的逻辑基 已成为人工智能领域最具活力的研究方向之一，其中相 础 。Hajek教授根据MV代数和 Godel代数，乘积代数的 关逻辑代数系统的研究不仅促进了非经典数理逻辑 自 共同特征建立了基础模糊命题逻辑系统BL和相应的基 身的发展 ，而且丰富了代数学的内容和方法。国际著名 础逻辑代数BL 。吴洪博教授于文献[11]中建立了以 模型论专家C．C．Chang于 1958年提出了一种称为MV- MV代数和R。代数为特款 的基础逻辑代数一BR。代数和 代数的代数结构 ，其 目的在于提供无限值Lukasiewicz 相应的基础模糊命题逻辑系统 BL 。 逻辑完备性定理的证明 ，并成功地达到了 目的。自此 滤子结构在MV_代数的研究中发挥着重要作用 “”。 MV_代数引起了人们的广泛重视 。。