Fuzzy蕴涵代数的素模糊MP滤子.pdf

第 28卷第 6期 模 糊 系 统 与 数 学 Vo1．28，No．6 2014年 12月 FuzzySystemsandMathematics Dec．，2014 文章编号 ：1001—7402(2014)06—0037—07 Fuzzy蕴涵代数的素模糊 MP滤子 刘春辉 (1．赤峰学院教务处，内蒙古 赤峰 024001；2．赤峰学院 数学与统计学院，内蒙古 赤峰 024001) 摘 要 ：本文的 目的是对Fuzzy蕴涵代数 (简称 FI代数)中的模糊 MP滤子理论作进踊步深入研究。首 先，引入素模糊 MP滤子的概念并研究其性质 ，建立并证 明了并半格 FI代数 的素模糊 MP滤子定理 ；其 次，在 FI代数 的素模糊 MP滤子全体之集 M，(x)上构造 了一个拓扑 ，证 明了拓扑 空间 ( MP(X)， )是 。空间。 关键词 ：模糊逻辑 Fuzzy蕴涵代数 ；素模糊MP滤子；拓扑空间 中图分类号 ：O141；0189 文献标识码 ：A 1 引言与预备 非经典数理逻辑 的一个重要的研究方向是对有关逻辑代数系统的研究。迄今为止 ，人们 已基于 不同的蕴涵算子提出了多种逻辑代数系统 。合适的代数方法在非经典逻辑问题的处理中发挥着重 要作用。文献r-s-1中引入的Fuzzy蕴涵代数 (简称FI代数)是逻辑蕴涵连接词的代数化，它揭示了蕴涵算 子 的共 同性质。众多的非经典逻辑代数系统，如 MV代数、BL代数、格蕴涵代数、R。代数以及剩余格代 数等 ，都可以看成是 FI代数的特例 ，因而对FI代数的研究具有广泛而基本的重要意义 。近年来 ，人们对 这一代数结构已做了大量细致 的研究工作 ，获得了很多有价值的研究成果[6]。 在对各种逻辑代数的研究中，滤子是一个重要的概念和工具，它在反映代数系统 自身特性方面发挥 着重要作用。为了更好地揭示 FI代数特性 ，文I-7-1、文E83、文[9-1、文[1O]在FI代数 中引入 了MP滤子和 模糊MP滤子等概念 ，并对它们的性质进行了细致的研究。以此为基础，本文对 FI代数的模糊MP滤子 概念作进一步深入研究。引入素模糊 MP滤子的概念并研究其性质 ，获得了一些有意义的结果 。 定义 1．Ic 称 (2，O)型代数 (X，一 ，O)为 Fuzzy蕴涵代数，简称 FI代数 ，若Vz，Y，∈X有 (I1) 一 (一 )一 一 (z一 2)； (I2) (z )斗 ((— ) (z— z))一 1； (I3)z— z一 1； (I4) — 一 1 x=y； (I5)O-~x= 1。 其中，1一O—O。 在文献E5-1中，FI代数(x，一，O)上偏序≤定义为：z≤ 甘z— 一1。如果(x，≤)构成并半格，即 Yz，yEX，zVY都存在 ，则称 (x，一 ，O)为并半格 FI代数。 收稿 日期 ：2013-07-12 基金项 目：国家 自然科学基金资助 60774073) 作者简介 ：刘春辉(1982一)，男 ，内蒙古赤峰人，赤峰学院讲师，研究方向：数理逻辑，Domain理论与拓扑学。 38 模 糊 系 统 与 数 学 引理 1．1 设 ( ，一 ，0)是一个 FI代数 ，则Vz，，zEx有 ： (1)z≤1且 1-~x=x； (2)如果 z≤ ，则 2一z≤2一 且 — ≤ — ； (3)z— (— )一 1； (4) (— )一 ((z— )一 (一2))一 1。 引理 1．2lg] 设 (X，一 ，O)为并半格 FI代数 ，z，a，bEX且 z，五EN．若 一 ===1且 一z一1，则存 在 mEN使 (口V6)一 一1，其中 一 —z，a一z一以一 (n一 (…一 (口一Iz)…))。 — — — — — 一 定义 1．2[] 设 (x，一 ，0)是一个 FI代数 ， =／=FCX且V