Fuzzy蕴涵代数的关联MP滤子和交换MP滤子.pdfVIP

第26卷第6期 模糊系统与数学 V01．26．No．6 andMathematics 2012年12月 FuzzySystems Dec．。2012 07 文章编号：1001—7402(2012)06—0031 Fuzzy蕴涵代数的关联MP滤子和交换MP滤子。 刘春辉1’2 (1．赤峰学院教务处，内蒙古赤峰024001； 2．赤峰学院数学与统计学院，内蒙古赤峰024001) 摘 要：在Fuzzy蕴涵代数中对关联MP滤子和交换MP滤子的性质及应用作进一步研究。获得了关联 MP滤子的若干新的等价刻画；利用交换MP滤子的性质给出了Fuzzy蕴涵代数成为可交换Fuzzy蕴涵 代数的若干充要条件。 关键词：模糊逻辑；Fuzzy蕴涵代数；MP滤子；关联MP滤子；交换MP滤子 中图分类号：0141；0153文献标识码：A 1 引言与预备 非经典数理逻辑[13的一个重要的研究方向是对有关逻辑代数系统的研究。迄今为止，人们已基于不 同的蕴涵算子提出了多种逻辑代数系统口_41。合适的代数方法在非经典逻辑问题处理中发挥着重要作 同性质。众多的非经典逻辑代数系统，诸如MV代数，BL代数，格蕴涵代数，R。代数以及剩余格代数 等，都可以看成FI代数的特例，因而对FI代数的研究具有广泛而基本的重要意义。近年来，人们对这 一代数结构已做了很多细致的研究工作，获得了很多有价值的结果[s-7]。 在对各种逻辑代数的研究中，滤子和理想是两个重要的概念和工具，它们在反映代数系统自身特 性，尤其是在对代数系统完备性的讨论中发挥着重要作用。各种代数系统中滤子和理想的性质及应用已 经得到了广泛的研究口-1 了多种MP滤子概念并给出了这些MP滤子的若干性质。以此为基础，本文在FI代数中进一步研究关 联MP滤子和交换MP滤子的性质及应用，获得了一些有意义的结果。 定义1．1[51 称(2，o)型代数(x，一，0)为Fuzzy蕴涵代数，简称FI代数，若Vz，Y，z∈X有 (11)z+(∥+z)一Y+(z+2)； (12)(z—y)一((y—z)一(z—z))一1； (13)z+z一1； (14)z—Y—Y+z一1≥z—Y； (15)0一z一1。 其中1—0—0。 *收稿日期：2011—11-08；修订日期：2012一01—09 基金项目：国家自然科学基金资助项目60774073) 作者简介：刘春辉(1982一)，男，内蒙古赤峰人，赤峰学院数学与统计学院讲师，研究方向：数理逻辑，Domain理论与拓扑学。 万方数据 模糊系统与数学 z一0。如果(X，一，o)是FI代数，且V FI代数中由蕴涵算子可以导出一对互为对偶的￡一范。和f一余范o：37 o o∥一一z—y和zY一一(z 一一y)，且它们都满足交换律和结合律。 下面给出一些FI代数的例子和基本性质，它们在后续的讨论中都是有用的。 表1运算一。的定义 —+1 O 乜 b 1 O 1 1 1 1 ● 以 O l 1 1 b