期刊文献+
共找到24篇文章
< 1 2 >
每页显示 20 50 100
基于MBR_0-代数的MTL-代数的表现形式 被引量:6
1
作者 汪宁 吴洪博 《西南大学学报(自然科学版)》 CAS CSCD 北大核心 2013年第12期48-52,共5页
首先根据WBR0-代数的定义和对偶范畴的思想建立了MBR0-代数结构,证明了MBR0-代数结构是交半格结构;再对MBR0-代数结构添加运算及相应条件,得到强MBR0-代数结构,证明了强MBR0-代数结构是剩余交半格结构;最后,给出了强MBR0-代数是MTL-代... 首先根据WBR0-代数的定义和对偶范畴的思想建立了MBR0-代数结构,证明了MBR0-代数结构是交半格结构;再对MBR0-代数结构添加运算及相应条件,得到强MBR0-代数结构,证明了强MBR0-代数结构是剩余交半格结构;最后,给出了强MBR0-代数是MTL-代数的充要条件. 展开更多
关键词 模糊逻辑 逻辑代数 WBR0-代数 MBR0-代数 mtl-代数
下载PDF
关于MTL代数的模糊滤子 被引量:5
2
作者 刘春辉 《模糊系统与数学》 CSCD 北大核心 2015年第2期98-108,共11页
对MTL代数的模糊滤子理论作系统研究。在MTL代数中引入模糊NIMTL-滤子、模糊IMTL-滤子、模糊结合滤子和模糊强滤子四类新的模糊滤子概念,给出了它们的若干性质和等价刻画。系统讨论了这四类模糊滤子以及模糊Boolean滤子、模糊G-滤子和模... 对MTL代数的模糊滤子理论作系统研究。在MTL代数中引入模糊NIMTL-滤子、模糊IMTL-滤子、模糊结合滤子和模糊强滤子四类新的模糊滤子概念,给出了它们的若干性质和等价刻画。系统讨论了这四类模糊滤子以及模糊Boolean滤子、模糊G-滤子和模糊MV-滤子间的相互关系,证明了一个模糊集为模糊Boolean滤子当且仅当它既是模糊G-滤子又是模糊NIMTL-滤子的结论。最后,将各类模糊滤子间的关系进行了总结梳理。 展开更多
关键词 模糊逻辑 mtl代数 模糊NImtl-滤子 模糊Imtl-滤子 模糊结合滤子
原文传递
MTL-代数的演绎系统和余零化子及其相互关系 被引量:5
3
作者 王娜 吴洪博 《模糊系统与数学》 CSCD 北大核心 2014年第1期9-14,共6页
首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的... 首先,在MTL-代数中给出了演绎系统的定义;其次,提出了MTL-代数余零化子的概念,并研究了它们的一些基本性质;最后,讨论了MTL-代数中余零化子与演绎系统的关系,证明了MTL-代数的演绎系统A的余零化子A⊥是素的演绎系统的充要条件:A是线性的且A≠{1}。 展开更多
关键词 mtl一代数 余零化子 演绎系统 剩余格 关系
原文传递
BL代数的一种弱化形式 被引量:2
4
作者 周建仁 吴洪博 《吉林大学学报(理学版)》 CAS CSCD 北大核心 2014年第2期231-236,共6页
在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形... 在对BL-代数及其相关逻辑代数研究的基础上,通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式——WBL-代数,并给出WBL-代数结构的实例;证明BL-代数是WBL-代数,并通过实例说明WBL-代数是BL-代数的真弱化形式,且是MTL-代数的真加强形式;在MTL-代数的基础上给出WBL-代数的一些特征定理. 展开更多
关键词 模糊逻辑 逻辑代数 BL-代数 mtl-代数 NM-代数 WBL-代数
下载PDF
MTL代数的直觉模糊理想
5
作者 刘春辉 《安徽大学学报(自然科学版)》 CAS 北大核心 2023年第6期7-17,共11页
将直觉模糊集与理想概念相结合,在MTL代数中引入直觉模糊理想和直觉模糊素(Boolean/关联/超/固执)理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值直觉模糊理想A而言,如下各条件是等价的:(ⅰ)A是直觉模糊Boolean理... 将直觉模糊集与理想概念相结合,在MTL代数中引入直觉模糊理想和直觉模糊素(Boolean/关联/超/固执)理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值直觉模糊理想A而言,如下各条件是等价的:(ⅰ)A是直觉模糊Boolean理想和直觉模糊素理想;(ⅱ)A是直觉模糊关联理想和直觉模糊素理想;(ⅲ)A是直觉模糊超理想;(ⅳ)A是直觉模糊固执理想. 展开更多
关键词 模糊逻辑 mtl代数 直觉模糊素理想 直觉模糊Boolean理想 直觉模糊超理想
下载PDF
MTL-代数的模糊理想 被引量:4
6
作者 刘春辉 《浙江大学学报(理学版)》 CAS CSCD 北大核心 2015年第5期514-520,共7页
将模糊集与理想概念相结合,在MTL-代数中引入模糊理想、模糊素理想、模糊Boolean理想、模糊关联理想、模糊超理想、模糊固执理想和模糊Gdel理想的概念,并考察它们的特征、性质和相互关系.证明了对MTL-代数的非常值模糊理想f,如下各条... 将模糊集与理想概念相结合,在MTL-代数中引入模糊理想、模糊素理想、模糊Boolean理想、模糊关联理想、模糊超理想、模糊固执理想和模糊Gdel理想的概念,并考察它们的特征、性质和相互关系.证明了对MTL-代数的非常值模糊理想f,如下各条件等价:(i)f是模糊Boolean理想和模糊素理想;(ii)f是模糊关联理想和模糊素理想;(iii)f是模糊超理想;(iv)f是模糊固执理想. 展开更多
关键词 模糊逻辑 mtl-代数 模糊理想 模糊素理想 模糊超理想 模糊Godel理想
下载PDF
逻辑系统MTL中任意量词的代数研究 被引量:3
7
作者 王军涛 王梅 《系统科学与数学》 CSCD 北大核心 2021年第8期2361-2378,共18页
一元MV-代数(L,?)由MV-代数连同其上的一个一元算子?构成,其中?是一元多值谓词逻辑中任意量词的代数解释.考虑到MTL-代数是一类范围最广的基于三角模的逻辑代数,为了给一元三角模谓词逻辑中任意量词提供统一的代数语义,文章引入了一元M... 一元MV-代数(L,?)由MV-代数连同其上的一个一元算子?构成,其中?是一元多值谓词逻辑中任意量词的代数解释.考虑到MTL-代数是一类范围最广的基于三角模的逻辑代数,为了给一元三角模谓词逻辑中任意量词提供统一的代数语义,文章引入了一元MTL-代数,研究其基本的代数性质以及对应的滤子,证明了一元MTL-代数是一元MV-代数和一元布尔代数的自然推广.其次,基于一元滤子刻画了可表示一元MTL-代数,证明了半单一元MTL-代数的次直积表示定理,揭示了强一元MTL-代数和可表示一元MTL-代数是等价的.最后,引入了一元MTL-代数簇对应的模态逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的充分必要条件. 展开更多
关键词 mtl-代数 任意量词 滤子 表示 半线性
原文传递
Interval Valued (∈,∈ ∨q)-Fuzzy Filters of MTL-Algebras 被引量:1
8
作者 Xue Ling MA Jian Ming ZHAN Kar Ping SHUM 《Journal of Mathematical Research and Exposition》 CSCD 2010年第2期265-276,共12页
The concepts of interval valued (∈,∈ ∨q)-fuzzy Boolean, MV - and G- filters in a MTL-algebra are introduced. The properties of these generalized fuzzy filters are studied and in particular, the relationships betw... The concepts of interval valued (∈,∈ ∨q)-fuzzy Boolean, MV - and G- filters in a MTL-algebra are introduced. The properties of these generalized fuzzy filters are studied and in particular, the relationships between these fuzzy filters in an MTL-algebra are investigated. 展开更多
关键词 mtl-algebra filter interval valued (∈ ∨q)-fuzzy (Boolean MV- and G-) filters.
下载PDF
λ交软MTL滤子
9
作者 房卫平 辛小龙 《计算机工程与应用》 CSCD 北大核心 2015年第5期54-57,213,共5页
引入了λ交软MTL-滤子、强交软MTL-滤子、交软MTL-滤子的概念,其中交软MTL-滤子是λ交软MTL-滤子的特例。讨论了λ交软MTL-滤子的刻画、性质和运算。给出了λ交软MTL-滤子在同态下像和逆像的性质。
关键词 mtl-代数 软集 λ交软mtl-滤子 交软mtl-滤子
下载PDF
有限MTL-链上的伪准相等 被引量:2
10
作者 刘练珍 张向阳 《模糊系统与数学》 CSCD 北大核心 2013年第6期86-92,共7页
在有限MTL-链上提出了伪准相等的概念,并研究了它的基本性质。证明了由伪准相等诱导的关系是一个同余关系,进一步利用伪准相等给出了有限MTL-链的构造方法。
关键词 mtl-代数 伪准相等 滤子
原文传递
MTL代数及由其MP滤子型商代数的局部有限性 被引量:1
11
作者 寇海燕 吴洪博 《模糊系统与数学》 CSCD 北大核心 2015年第2期45-53,共9页
首先,将局部有限方法引入到MTL代数中,提出了局部有限MTL代数的概念,给出了局部有限MTL代数的一些基本性质,证明了局部有限MTL代数的线性性质;其次,讨论了MTL代数的MP滤子的相关性质;最后,证明了由MP滤子诱导的商贷数M/F是局部有限的非... 首先,将局部有限方法引入到MTL代数中,提出了局部有限MTL代数的概念,给出了局部有限MTL代数的一些基本性质,证明了局部有限MTL代数的线性性质;其次,讨论了MTL代数的MP滤子的相关性质;最后,证明了由MP滤子诱导的商贷数M/F是局部有限的非退化MTL代数的充分必要条件是MP滤子是极大MP滤子;证明了每一个MTL代数可以嵌入到一族局部有限的MTL代数的直积MTL代数中。 展开更多
关键词 模糊逻辑 mtl-代数 局部有限 MP滤子 商代数 嵌入
原文传递
MTL-代数的一个Cantor-Bernstein型定理
12
作者 孟彪龙 姬战怀 +1 位作者 梁少辉 辛小龙 《模糊系统与数学》 北大核心 2022年第5期34-39,共6页
本文首先证明了MTL-代数上由Boolean元e诱导的商代数同构于区间代数[0,e],继而给出了完备MTL-代数的区间直积分解,最后建立了强完备MTL-代数上的Cantor-Bernstein定理。
关键词 mtl-代数 Booelan元 直积分解 Cantor-Bernstein定理
原文传递
MTL-代数上的广义赋值
13
作者 王军涛 贺鹏飞 《数学进展》 CSCD 北大核心 2022年第3期426-446,共21页
本文研究了MTL-代数上的几类广义赋值,讨论了MTL-代数上广义赋值、态以及滤子之间的关系,获得了MTL-代数上广义赋值成为(正)关联广义赋值的等价刻画,并基于广义赋值构造的同余关系研究了MTL-代数的商结构.所得结果推广了基于三角模的模... 本文研究了MTL-代数上的几类广义赋值,讨论了MTL-代数上广义赋值、态以及滤子之间的关系,获得了MTL-代数上广义赋值成为(正)关联广义赋值的等价刻画,并基于广义赋值构造的同余关系研究了MTL-代数的商结构.所得结果推广了基于三角模的模糊逻辑代数上广义赋值的相关理论,进一步丰富了基于三角模的模糊逻辑代数上概率测度的代数结论. 展开更多
关键词 模糊逻辑 mtl-代数 广义赋值 滤子
原文传递
MTL代数中的布尔滤子和正蕴涵滤子
14
作者 吴苏朋 《云南师范大学学报(自然科学版)》 2009年第2期33-37,共5页
在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。
关键词 mtl代数 布尔滤子 正蕴涵滤子 固执滤子
下载PDF
MTL代数的反模糊LI理想
15
作者 刘春辉 《数学的实践与认识》 北大核心 2018年第9期245-252,共8页
将模糊集与LI理想概念相结合,在MTL代数中引入反模糊LI理想和反模糊素(布尔/关联/超/固执)LI理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值反模糊LI理想4而言,下列四条陈述是等价的:1)A既是反模糊布尔L... 将模糊集与LI理想概念相结合,在MTL代数中引入反模糊LI理想和反模糊素(布尔/关联/超/固执)LI理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值反模糊LI理想4而言,下列四条陈述是等价的:1)A既是反模糊布尔LI理想又是反模糊素LI理想;2)A既是反模糊关联LI理想又是反模糊素LI理想;3)A是反模糊超LI理想;4)A是反模糊固执LI理想. 展开更多
关键词 模糊逻辑 mtl代数 反模糊(布尔/关联/素/超/固执)LI理想
原文传递
Generalized valuations on MTL-algebras
16
作者 Juntao WANG Pengfei HE 《Frontiers of Mathematics in China》 SCIE CSCD 2022年第4期521-543,共23页
In this paper,we study some kinds of generalized valuations on MTL-algebras,discuss the relationship between the cokernel of generalized valuations and types of filters on MTL-algebras.Then,we give some equivalent cha... In this paper,we study some kinds of generalized valuations on MTL-algebras,discuss the relationship between the cokernel of generalized valuations and types of filters on MTL-algebras.Then,we give some equivalent characterizations of positive implicative generalized valuations on MTL-algebras.Finally,we characterize the structure theory of quotient MTL algebras based on the congruence relation,which is constructed by generalized valuations.The results of this paper not only generalize related theories of generalized valuations,but also enrich the algebraic conclusion of probability measure,on algebras of triangular norm based fuzzy logic. 展开更多
关键词 Fuzzy logic mtl-algebra generalized valuation filter
原文传递
On Lattice Structure of Filters in Residuated Lattices
17
作者 ZHANG Xiao-hua SHEN Jian-guo 《Chinese Quarterly Journal of Mathematics》 CSCD 2009年第2期252-257,共6页
This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice.... This paper is devoted to the discussion of filters in residuated lattices. The lattice structure of filters in residuated lattice was established. It is proved that the set of all filters forms a distributive lattice. Also, the concept of prime filter in residuated lattice was proposed and some equivalent conditions about prime filter were given. 展开更多
关键词 residuated lattice mtl-algebra FILTER prime filter
下载PDF
伪MTL-代数(WPBL-代数)的正规滤子 被引量:8
18
作者 张小红 刘三阳 刘用麟 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2006年第5期829-832,共4页
给出伪MTL-代数(WPBL-代数)的一些新性质,通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)... 给出伪MTL-代数(WPBL-代数)的一些新性质,通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数(WPBL-代数)中不再成立,并给出伪MTL-代数(WPBL-代数)正规滤子的一个新的等价条件。利用这些结果,建立了伪MTL-代数(WPBL-代数)的商代数结构。 展开更多
关键词 非可换模糊逻辑 mtl-代数 WPBL-代数 正规滤子 反例 商代数
下载PDF
MTL代数的特征定理 被引量:27
19
作者 裴道武 《数学学报(中文版)》 SCIE CSCD 北大核心 2007年第6期1201-1206,共6页
对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区... 对于逻辑系统代数结构的研究,是一个十分重要的研究课题.近期提出的BL代数,R_0代数,MTL代数就是这个方向具有代表性的研究成果.本文讨论MTL代数的性质与结构,给出这种代数的几个特征定理,澄清这种代数与其它代数结构的关系.鉴于单位区间中由左连续t-范数诱导的剩余蕴涵与MTL代数的紧密联系,本文还考察了这种模糊蕴涵的特征性质. 展开更多
关键词 模糊逻辑 t-范基逻辑 mtl代数
原文传递
MTL代数的性质及其滤子 被引量:4
20
作者 张花荣 李骏 谢强军 《兰州理工大学学报》 CAS 北大核心 2005年第5期147-149,共3页
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及a的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数.
关键词 mtl代数 MP滤子 素MP滤子 真MP滤子 布尔滤子
下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部