搜索到39篇“ MTL代数“的相关文章
MTL代数的直觉模糊理想
2023年
将直觉模糊集与理想概念相结合,在MTL代数中引入直觉模糊理想和直觉模糊素(Boolean/关联/超/固执)理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值直觉模糊理想A而言,如下各条件是等价的:(ⅰ)A是直觉模糊Boolean理想和直觉模糊素理想;(ⅱ)A是直觉模糊关联理想和直觉模糊素理想;(ⅲ)A是直觉模糊超理想;(ⅳ)A是直觉模糊固执理想.
刘春辉
关键词:MTL代数
MTL代数的反模糊LI理想
2018年
将模糊集与LI理想概念相结合,在MTL代数中引入反模糊LI理想和反模糊素(布尔/关联/超/固执)LI理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值反模糊LI理想4而言,下列四条陈述是等价的:1)A既是反模糊布尔LI理想又是反模糊素LI理想;2)A既是反模糊关联LI理想又是反模糊素LI理想;3)A是反模糊超LI理想;4)A是反模糊固执LI理想.
刘春辉
关键词:模糊逻辑MTL代数
MTL代数的Wajsberg形式及其应用
2015年
MTL代数是一种重要的基础逻辑代数。本文采用Wajsberg方法,根据逻辑系统MTL中公理的形式,建立了NMTL代数的经典代数表示形式,进而证明了NMTL代数MTL代数是同一代数结构,证明了满足条件x,y∈L,x→y=(y→0)→(x→0)的NMTL代数L是BR0代数。在此基础上证明了IMTL代数和BR0代数是同一代数结构,并给出BR0代数和BL代数的Wajsberg形式。
寇海燕吴洪博
关键词:模糊逻辑剩余格MTL代数BR0代数BL代数
关于MTL代数的模糊滤子被引量:5
2015年
MTL代数的模糊滤子理论作系统研究。在MTL代数中引入模糊NIMTL-滤子、模糊IMTL-滤子、模糊结合滤子和模糊强滤子四类新的模糊滤子概念,给出了它们的若干性质和等价刻画。系统讨论了这四类模糊滤子以及模糊Boolean滤子、模糊G-滤子和模糊MV-滤子间的相互关系,证明了一个模糊集为模糊Boolean滤子当且仅当它既是模糊G-滤子又是模糊NIMTL-滤子的结论。最后,将各类模糊滤子间的关系进行了总结梳理。
刘春辉
关键词:模糊逻辑MTL代数
MTL代数语义上逻辑公式的概率真度被引量:8
2015年
基于L-赋值理论,通过在MTL代数赋值格和全体公式集上分别建立概率测度,利用积分方法提出了MTL代数语义上公式的概率真度.证明了概率真度的MP规则、HS规则及交推理规则;同时引入公式间的概率相似度和伪距离,建立了概率逻辑度量空间.将计量逻辑学中的相关理论推广到基于MTL代数语义的格值逻辑上,使得在格值逻辑上进行程度化推理成为可能.
左卫兵
关键词:MTL代数概率真度
MTL代数的演绎系统与同余关系的对应定理被引量:3
2015年
通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。
王霞霞吴洪博
关键词:模糊逻辑同余关系
MTL代数及由其MP滤子型商代数的局部有限性被引量:1
2015年
首先,将局部有限方法引入到MTL代数中,提出了局部有限MTL代数的概念,给出了局部有限MTL代数的一些基本性质,证明了局部有限MTL代数的线性性质;其次,讨论了MTL代数的MP滤子的相关性质;最后,证明了由MP滤子诱导的商贷数M/F是局部有限的非退化MTL代数的充分必要条件是MP滤子是极大MP滤子;证明了每一个MTL代数可以嵌入到一族局部有限的MTL代数的直积MTL代数中。
寇海燕吴洪博
关键词:模糊逻辑MP滤子商代数
MTL代数中素滤子集上的拓扑
2011年
通过研究MTL代数M中滤子、极大滤子的性质,在M的全体素滤子集P(M)上引进拓扑T并研究拓扑空间(P(M),T)的紧致性、分离性、连通性等拓扑性质,证明了(P(M),T)是紧致的T0空间.如果把P(M)上拓扑T限制在M的全体极大滤子集M(M)上,则(M(M),T|M(M))是紧致的Hausdorff空间.
赵晓东张家录
关键词:MTL代数素滤子极大滤子拓扑紧空间HAUSDORFF空间
WDRL半群和MTL代数
2010年
研究WDRL半群的性质。同时讨论WDRL半群和MTL代数之间的关系。
陈晓娟刘练珍
关键词:MTL代数剩余格
MTL代数中的布尔滤子和正蕴涵滤子
2009年
MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。
吴苏朋
关键词:MTL代数

相关作者

吴洪博
作品数:230被引量:479H指数:17
供职机构:陕西师范大学
研究主题:模糊逻辑 代数 逻辑代数 BR 逻辑系统
谢强军
作品数:27被引量:76H指数:5
供职机构:杭州电子科技大学理学院
研究主题:稳定性 不动点指数 图像分割 水平集 反应扩散方程
张花荣
作品数:16被引量:33H指数:3
供职机构:中国计量学院理学院
研究主题:滤子 R0代数 剩余格 代数 MTL代数
刘春辉
作品数:101被引量:201H指数:10
供职机构:赤峰学院
研究主题:模糊逻辑 Q 剩余格 MP滤子 滤子
寇海燕
作品数:5被引量:9H指数:2
供职机构:陕西师范大学数学与信息科学学院
研究主题:FRAME MP滤子 MTL代数 模糊逻辑 半格