格蕴涵代数的TL-滤子.pdfVIP

内江师范学院学报 第 26卷第 8期 ·6 · JOuRNAIOFNEIJIANG N0RMAIUNIVERSITY No．8Vo1．26 格蕴涵代数的TL-滤子 黄黎明 ， 何 军。， 段 芳。 (1．内江职业技术学院 机械工程 系， 四川 内江 641100；2．内江市第十 中学， 四川 内江 641102； 3．四川建筑职业技术学院 计算机工程 系， 四川 德阳 618000) 摘 要 ：将有界格上的 一模应用于格蕴涵代数的滤子上 ，提出了格蕴涵代数的 TI一滤子概念．研究了TI一滤子 性质与一些等价刻画 ，并指 出了TI一滤子与滤子之间的关系． 关键词 ：格蕴涵代数 ；滤子 ；TI一滤子 中圈分类号：O141．i 文献标志码 ：A 文章编号 ：l671—1785(2011)08—0006—03 0 引言 刻画． 为给不确定性信息处理理论提供可靠且合理的 1 预备知识 逻辑基础，许多学者提…许研究了非经典逻辑系统， 定义 1[。 设 (L；V，A，0，)是一个带有逆 同时 ，作为非经典逻辑 系统的湃义系统的各种逻辑 序对合的有余格 ，一 ：L×L—L是一个映射 ，如果对 代数也广泛提出，并得 到了深入研究．如：格蕴涵代 数 ，BL一代数，R(】一代数，MTI一代数等 ¨ ．逻辑代数 于任 ，Y，z∈L (I1) (j， )： ( )； 的滤子理论在研究逻辑代数与相关的逻辑非经典逻 (Ie)z— z— f； 辑系统完备性起着非常重要的作用．从逻辑观点来 (I3) 一 ； 看，逻辑代数的滤子与逻辑系统的可证公式相关。 目前 ，BL一代数滤子理论[5_]和格蕴涵代数的滤子理 (I4)若 一 一 一工，则 —Y； 论f6已经建立 ，并获得 了许 多重要且优美 的结果． (I5)( — )一 = ( ) ； 其它代数系统的各种滤子也被广泛研究 j． (11)(V3，)一 ： (z— )^(一 )； 三角模 (t-模 )llD_是 由 Sehweizer等在 1960年 (12) ( ^ )一 一 (z— )V (— )． 为 了在概率测度空间中准确地描述三角不等式而提 称 L一 (L；V，八，一 ，0，D为一格蕴涵代数． 出的．此后 ，三角模得 到了广泛地应用．Leroyl】和 在 L 中，定义 一 (z— )． Borzooel_1。分别将 f一模应用于格蕴涵代数的模糊滤 定理 1 “ 在格蕴涵代数 L 中，对V ，Y，∈L 子 以及 BL-代数 的模糊 滤子与模糊 同余．近年来 ， 有 许多学者将三角模做了各种各样推广，其中有些方 (1)(z )一 z=：=z一 (— z)； 法是把三角模的定义域由单位闭区间[O，1]推广至 (2)-z一 (．)，一 )一 一 (— )； 任意闭区间[n，6]甚至一般有界格口胡等等． (3)— z≤ (— )一 (z一 )； 本文将一般有界格上的一般 ￡一模应用于格蕴涵 (4)— ≤ (-r一 )一 (—z)； 代数的滤子理论上 ，并值域为该有界格 ，讨论 了格