蕴涵格的正规MP滤子与素滤子.pdfVIP

第43卷 第 10期 山 东 大 学 学 报 (理 学 版) 2008年 1O月 V0J．43 No．10 JournalofShandongUniversity(NaturalScience) 0ct．20o8 文章编号：1671—9352{2008)10—0031．05 蕴涵格的正规 MP滤子与素滤子 胡明娣 ，楼志刚 (1．陕西师范大学数学研究所，陕西 西安 710062； 2．西安理工大学机械与精密仪器工程学院，陕西 西安 710048； 3．安康学院数学系，陕西 安康 725000) 摘要：在蕴涵格上定义了MP-滤子、生成滤子、正规 MP-滤子与素滤子的概念，研究了它们的特征性质，讨论 了正规 MP-滤子和MP-滤子之间的关系，得到正规 MP-滤子是MP-滤子的结论，证明了蕴涵格的素滤子定理。它们是 R。一 代数或MV一代数上相应滤子的性质的共同特征。 关键词 ：蕴涵格；正规MP-滤子；素滤子 中图分类号：0141．1；O153 文献标志码：A NormalMP—filtersandprimefiltersofanimplicationlattice HUMing—di ，LOUZhi—gan (1．InstituteofMathematics，ShaanxiNormalUniversity，Xi’an710062，Shaanxi，China； 2．SchoolofMechanicalInsmnaentalEngineefing，Xi’anUniversityofTechnology，Xi’an710048，Shaanxi，China ； 3．DepartmentofMathematics，AnkangCollege，Anl(ang725000，Shaanxi，China) Abstract：TheconceptsofMP-filters，generatedfilters，normalMP-filters andprimefilters inimplicationlatticewereintro— duced．Theirbasicpropertieswereinvestigated，andthestructureofgeneratde filterswasobtainde ．Th eresultsshowthathtenor- malMP-fihers areMP-fihers．Allhteresultsarehtecommoncharacters ofhtecorrespondingflterhteoriesofRo-algebrasorMV- algebras． Keywords：implicationlattice；normalIMP-fdter；primefilter ， 0 引言 为了适应不同模糊推理的需要，逻辑学家和数学家们引入了不同的逻辑系统，与逻辑系统相配套的逻 辑代数理论也获得了蓬勃的发展_l刮。早在 1999年王国俊教授为尝试给模糊推理建立相应的逻辑基础，在 文献 [7]中引进了蕴涵格，它是 MTL代数的特殊形式，同时又是由C．C．Chang于 1958年提出的与 Lukasiewicz 逻辑系统相配套的著名的多值逻辑代数的基础，也是王国俊教授于 1997年提出的与一种形式演绎系统 相匹配的风．代数 的基础。因此，蕴涵格居于承上启下的地位，对它的深人研究具有重要意义。本文定义 了蕴涵格并在其上给出了滤子、生成滤子、正规 MP．滤子与素滤子的概念，研究了它们的特征性质，得到正规 MP．滤子必是MP．滤子，最后证明了蕴涵格的素滤子定理。所得结果是 风．代数或MV．代数上相