格蕴涵代数的T-模糊滤子.pdfVIP

第36卷第 5期 西南民族大学学报 ·自然科学版 JournalofSouthwestUniversityforNationalitiesN·aturalScienceEdition 文章编号：1003．2843(2010)05．073005 格蕴涵代数的 ．模糊滤子 秦亚，钟纯真，刘熠 (内江师范学院数学与信息科学学院，四川内江 64l1l2) 摘 要：将 -模和模糊滤子结合，引入 了 ．模糊滤子：研究了丁．模糊滤子的性质及其等价刻画，推广了模糊滤子 关键词：格蕴涵代数；(关联)滤子；模糊 (关联)滤子；T．模糊(关联)滤子 中图分类号：023 文献标识码：A 非经典逻辑为智能控制处理不确定信息和 自动推理提供了有意义的形式工具．而多值逻辑是经典逻辑的扩 充，为经典逻辑的推理和模型提供了一种变化形式．许多学者一直致力于对格值逻辑形式系统的研究，发现了 格值在多值逻辑这一领域起着重要作用．因此，研究在一个逻辑系统的真值取于一个格里面时，徐扬…教授早在 1993年提出了格蕴涵代数，并获得了许多有用的性质．这一逻辑代数一直受到了许多学者[2-61的关注，并使该逻 辑代数得到了很大的扩充．对于逻辑代数的研究，其滤子理论是逻辑代数的一重要内容．对于格蕴涵代数的滤 子理论研究也取得丰富的成果7【。引．本文从一种新的角度出发，将T．模(三角模)与格蕴涵代数的模糊滤子想结合， 引入了 ．模糊滤子；研究了 模糊滤子的性质及其等价刻画，推广了模糊滤子． 在本文中，记c为格蕴涵代数(L，V，／X，， O，I)．本文未特别说明的符号和定义均可在文献4【】中找到． 1 预备知识 定义111I设 (L，V，八，O，I)是带有逆序对合 。的有界格，其最大元和最小元分别为 ，和O．二元运算 — ÷：LXL— L ． 称(厶V，八，， ，O，I)为格蕴涵代数，如果满足TgJJ条件，对于任意的 ，Y，z∈L： (I1) — (Y—争z)=Y)．(— z)； (12) ：I； (13) Y：Y ； (I4)若 — =Y— =I，贝0 =Y； (I5)(X Y) Y=( X) X； (11)(XVY)— z=(— z)A(Y--+z)； (12) 八 ) z= )X／( )． 引理l【设C 是格蕴涵代数．则对任意的x，Y，z∈L，下列结论成立： (1)若，— =I，贝0 =I； (2)I = 且 X O= ； (3)p) =I且 ，=I； (4)(( ) ) Y= Yl- (5) VY=(x Y) Y； 收稿 日期：20l0．O8．2O 作者简介：秦qF．(1984．)，女，硕士，四川仪陇人，内江师范学院助教，研究方ruJ：智能信息处理．E _ mail：qinyaqy@126．corn 基金项 目：Eq)~l省教育厅青年基金资助(08zb082)． 第 5期 秦亚等：格蕴涵代数的丁．模糊滤子 731 (6)若 X Y，则 z Y z且 z z Y； (7)X Y (Y z) ( z)； (8)z Y X 当且仅当 Y z ． 定义21 ‘设T：[O，1]×[O，1] [O，1】，称 为t．模，如果满足下面条件： ()T(x，1)= ； (r，2)T(x，) T(x，z)，其中Y z； ()T(x，Y)=T(y，)； ()T(x，T(y，z))=r(r(x，)，z)； 给定，-模71．记A= ∈[o，1]r(a，)= j． 定义3【】设F是格蕴涵代数C的一解空集，F称为C的滤子，如果 满足： (1)I∈F ； (2)Vx，Y∈ 且 ， — Y∈F，贝0有Y∈F． 定义4【l设 是格蕴涵代数C的模糊集，称 为C的模糊滤子，如果 满足：