伪NM代数的滤子.pdfVIP

第22卷增刊 模糊系统与数学 V01．22．No．A 2008年9月 Fuzzy andMathematics Systems Sept．．2008 伪NM代数的滤子。 刘用麟 (武夷学院数学系，福建武夷山354300) 擅要：文[9]引进了一类新的逻辑代数——伪NM代敷。本文讨论了伪NM代数的滤子理论，定义了 游子，生成滤子。正规滤子和素滤子等概念。研究了它们的特征性质。给出了生成滤子的结构，证明了在 伪NM代数中素滤子与不可的滤子等价以厦极大滤子J必是索滤子。建立了伪NM代数的素滤子定理度 其推论。它们是NM代数滤子理论相应结果的非变换推广． 关键词：伪NM代数，滤子；正规滤子I素滤子 中圈分类号：0141 文献标识码{A 1 引言 ‘ 近年来，在理论与应用两个方面的推动下，基于T模逻辑系统与对应的伪逻辑系统的研究成为逻 辑领域中备受关注的热点之一，其中基于T模逻辑系统的研究先于逻辑代数，而伪逻辑代数的发展先 了独异点t模逻辑代数，简称MTL代数，它是BL代数的一种推广；Esteva等同时提出了幂零极小逻 一些时间王国俊先生‘61提出了R。代数，它的逻辑版本——形式系统钐。在近似推理中有重要应用[73； 裴道武先生[8]证明了R。代数与NM代数是等价的。 在文[9]，我们提出了伪NM代数(或称伪Ro代数)作为一类新的伪逻辑代数，它是NM代数的非 交换推广。众所周知，研究一个逻辑代数系统的结构，滤子理论起着重要的作用。本文引人了伪NM 代数的滤子理论。定义了滤子、生成滤子、正规滤子、同余和素滤子等概念，研究了它们的特征性质，给 出了生成滤子的结构，证明了在伪NM代数中素滤子与不可约滤子等价以及极大滤子必是素滤子，建 立了伪NM代数的素滤子定理及其推论。这些结果是NM代数滤子理论相应结果的非交换推广。 2 预备知识 条件； (A1)(A，V，A，o，1)是一个有界格， (A2)(A，X-，1)是一个独异点， (A3)z*y≤2当且仅当z≤j，一2当且仅当y≤z净名， ·收稿日期：2008-05—01 基金项目：国家自然科学基金资助项目}福建省自然科学基金资助项目(2008J0204) 作者简介；刘用麟(1959一)，男，教授，博士，研究方向；逻辑代数，非经典数理逻辑． 114 模糊系统与数学 2008担 (A4)(py)V()r啼z)=(z=争j，)V(y=争z)；1， (A6)(矿+O)净O=Q净O)一O=矗 命题2．1C91若A是一个伪NM代数，则下列成立： (1)若z≤j，，则z*岩≤y*：和g*z≤2’Y， (2)z≤j，当且仅当x=》y1当且仅当∽，=1， (3)y≤(z=争j，)A(z—y)， (4)(卫—，y)*卫≤zAY，z*(庐j，)≤zAY， (5)xV y=((茹净y)呻y)^((J辛z)呻z)=((z·y)净y)A((y．’卫)净z)， (6)z*(V丑)=V(z*嚣)，(V露)*z=V(∞*z)，假设所出现的并皆存在， ，∈J if-』 j∈』 leI (7)z专j，≤(z净z)辛(声y)，r+j，≤(r}z)÷(r勺)， (8)z专y≤(y毒z)斗(工净2)，z斗y≤(y·z)净(r+名)， (9)y净(。蛩丑)=-剧V(y净x1)，广(。匕而)=i匕(广∞)，假设所出现的交皆存在， (10)(V西)净y=V．(霸毒y)，(V嚣)一，=V(蜀一y)，假设所出现的并与交皆存在， iE! i∈l 涎l t∈l (11)(zVy)—-z一)’—’卫，(zVy)=争z=，=争z， (12)z—卜(yV。)