MTL代数中的布尔滤子和正蕴涵滤子.pdfVIP

第29卷第 2期 云南师范大学学报 V01．29 No．2 2009年3月 JournalofYunnanNormalUniversity Mar．2009 MTL代数中的布尔滤子和正蕴涵滤子 吴苏朋 (安康学院数学系，陕西安康 725000) 摘 要： 在MTL代数中，给出布尔滤子的几种等价刻画，提出了正蕴涵滤子和固执滤子的概念，讨论 了它们的一些基本性质，得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中，布 尔滤子和正蕴涵滤子相互等价，超滤和固执滤子相互等价。 关键词：MTL代数；布尔滤子；正蕴涵滤子；固执滤子 ， 中图分类号： O141．1 文献标识码：A 文章编号： 1007—9793(2009J02—0033一O5 1998年，Hdjek在文献[3]中对于由连续t一范数确定的模糊逻辑结构，提出BL系统和BL代数系 统。2001年，Esteva和Godo在文献[4]中进一步推广了BL系统，提出MTL系统，即Monoidah～范基逻 辑(Monoidalt—normbasedlogic)，以及 MTL代数。对这些模糊逻辑系统的研究中，相关的代数系统起到 了关键、重要的作用。文献[5]、[7]对MTL代数中的布尔滤子进行详细的研究，在此基础上本文对布 尔滤子作进一步的研究，给出了布尔滤子的几种等价形式。引入了正蕴涵滤子和固执滤子的概念，得到 一 些基本的性质，讨论了它们之间的关系及与布尔滤子的联系。证 明在满足正则性的MTL代数(即 IMTL代数或被称为弱R0代数)中，布尔滤子和正蕴涵滤子是相互等价的概念 ，而超滤和固执滤子是相 互等价的概念。 1 预备知识 关于剩余格的基本知识，可以参阅文献 [1—3]，下面我们直接给出MTL代数的相关知识。 定义 1．1H 设L是剩余格，若Vx，Y∈L，(x—y)V(y—x)=1，则称 L为MTL代数。 命题 1．1 ’ 设 L是 MTL代数 ，Vx，Y∈L，令 x=x ，有 (P1)x—y=1当且仅当x≤y； (P2)((x—y)一y)一y=x—y； (P3)xVy—z：(x—y)^(y—z)，x—y八z=(x—y)八(x—z)； (P4)x—yVz=(x—y)V(x—z)，x八y—z=(x_÷z)V(y—z)； (P5)xVy=((x—y)一y)八((y—x)~X)； (P6) (XVY)= x八 y， (x^y)= xV Y； (P7)x≤11X，-1x=1-1—1X，．11x 1x=x—}]x； (P8)’1x—÷．11Y=．1y—+1x，x—斗1Y：y—+1X； 注1．1 命题 1．1只给出了本文所用到的MTL代数中的部分性质，文献 [4]中介绍了MTL代数具有很 多丰富的性质，文献[7]中令 x=x一0，还给出了许多关于 运算的性质，我们在此不再一一赘 述。 定义1．2 设L是MTL代数，若Vx∈L， x=x，称 L是 IMTL代数 收稿 日期：2008—10—23 基金项目：国家自然科学基金资助项目(1077129)，安康学院专项科研计划资助项目(2007AKXY022)． 作者简介：吴苏朋(1980一)，女，陕西省西安市人，硕士，安康学院教师，主要从事不确定性推理方面研究 ‘ 34 ‘ 云南师范大学学报 (自然科学版) 第29卷 命题 1．2 设L是 IMTL代数，则 (1) x Y：y x； (2) x_÷y= y x； 定义 1．3 设L是MTL代数，F是L的非空子集，称 F是一个滤子，如果 (F1)1∈F， (F2)Vx，Y∈L，若 X∈F，x—y∈F，贝0Y∈F。 若 F≠L，则称 F是 L的真滤子，称真滤子 F是L的素滤子，若Vx，Y∈L，x—y∈F或 y—x∈F。 定义 1．43【一 设L是MTL代数，F是L的非空子集，称 F是一个滤子，如果 (F1)VX，Y∈L，x~y