BL-代数相关论文
基本逻辑BL是命题真值取值于[0,1]区间的多值逻辑,是模糊逻辑的重要基础.BL-代数是与基本逻辑相匹配的Lindenbaum-Tarski代数,其提......
基本逻辑(Basic logic)是一类典型的非经典逻辑,它是所有基于连续三角模的命题演算系统的公共基础.BL-代数是作为基本逻辑的代数语义......
引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是Godel代数。揭示了严格滤......
本文研究模糊逻辑中蕴涵算子的构造。主要内容如下:
第一章:介绍了模糊逻辑的发展及目前国内外研究的概况,给出了后面章节需要用......
本文的主要研究工作来源于河南省教育厅自然科学研究计划项目(No.20098520015)“区间值Fuzzy逻辑的代数结构”与河南省重点科技攻......
提出BL-代数的直觉模糊滤子度的概念,给出其的等价刻画,并用直觉模糊滤子度来讨论BL-代数上的直觉模糊子集是直觉模糊滤子的程度.......
导子的概念来源于分析学,将它引入到代数系统中有助于研究代数系统的结构和性质.本文将研究BL-代数、MV-代数以及超MV-代数中的导......
研究了BL-代数的几类反犹豫模糊滤子.将犹豫模糊集应用于BL-代数中,分别给出了反犹豫模糊滤子、反犹豫模糊素滤子、反犹豫模糊蕴涵......
在研究非经典数理逻辑的语义理论时(特别在讨论逻辑系统完备性时),通常要考查与之相关的代数系统的结构,比如Lukasiewicz连续值逻辑......
利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈Vq)-模糊素滤子的概念并研究其性质.获......
在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,......
在BL‐代数中引入了(∈,∈∨q)‐模糊理想的概念,给出了(∈,∈∨ q)‐模糊理想的性质和等价刻画;然后,通过模糊积和模糊上集概念的引入,给出......
利用模糊点与模糊集之重于关系,在BL-代数中引入了(∈,∈∨q)-模糊n-重蕴涵滤子的概念,推广了经典的模糊n-重蕴涵滤子,给出了(∈,∈∨q)......
初步将犹豫模糊集应用于BL-代数中,引入了BL-代数中反犹豫模糊子代数的概念,讨论它的基本性质,得到若干等价刻画;根据犹豫模糊集的......
...
在 BL-代数和直觉模糊集理论的基础上,应用直觉模糊集的方法,定义了 BL-代数上直觉模糊滤子和直觉模糊素滤子。然后,讨论了直觉模糊滤......
初步建立了BL-代数的犹豫模糊滤子理论的基本框架.引入了BL-代数的犹豫模糊滤子(格滤子,素滤子,Boolean滤子,蕴涵滤子,正蕴涵滤子,......
根据命题逻辑系统BL与基础逻辑代数BL在语义方面相匹配的特征,将基础逻辑系统BL中的部分公理代数化,建立一种新的代数结构QBL-代数......
证明任何BL-代数均为S-代数。...
结合直觉模糊集和滤子理论,对BL-代数上的直觉模糊滤子进行了研究。首先回顾了BL-代数和直觉模糊集的有关基础知识。然后引入BL-代......
本文引入了BL-代数的⊙-导子并研究了BL-代数上⊙-导子的相关问题.利用导子的保序性,不动点集和BL-代数的格理想,讨论了BL-代数上......
通过数学软件Mathematica得到全部八阶以下的MTL-代数.采用的计算n(n≤8)阶MTL-代数的算法为从低阶有界分配格出发,依据MTL-代数蕴涵算......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和......
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻......
讨论粗糙集代数与BL代数的关系以及由粗糙集代数构造BL代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵算子之后,粗糙......
引入BL-代数的n-重模糊蕴涵滤子概念,讨论了n-重模糊蕴涵滤子的性质,给出若干等价刻画,给出了验证n-重模糊蕴涵滤子的一个简单条件。......
基于格的相对零化子概念提出了BL-代数的弱相对零化子概念。讨论了弱相对零化子的基本性质,证明了弱相对零化子是BL-代数的滤子,给......
R0-代数与BL-代数在模糊逻辑的研究中有重要作用,这与布尔代数在经典逻辑中的作用类似.本文通过一个特殊集x-1F分别给出R0-代数及B......
通过研究BL-代数的implicative滤子的等价条件,得到了normal滤子与implicative滤子之间的关系,并给出了两个公开问题“一个normal滤......
利用模糊点与模糊集之重于关系,在BL-代数中引入了(∈,∈∨q)-模糊n-重蕴涵滤子的概念,推广了经典的模糊n-重蕴涵滤子,给出了(∈,∈∨......
通过在 BL-代数中给出单点余零化算子的概念,研究单点余零化算子的基本性质;在BL-代数中讨论多点余零化算子的基本性质,并给出 BL-代......
利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈Vq)-模糊素滤子的概念并研究其性质.获得了BL......
定义了一个新的蕴涵算子,证明了该蕴涵算子能构成剩余格和可交换剩余格,还证明了BL-代数是可交换剩余格的特殊情况。......
在BL一代数上引入( , )-微分,研究BL-代数( , )-微分的一些性质。给出BL-代数的GOdel中心上( , )一微分的等价刻画并讨论G6del中心上( , )一微分......
文提出了局部R0-代数的概念,并给出了相应的等价条件,即(i)R0-代数L是局部的,(ii)任意x∈L,ord(x)〈∞或ord(-x)〈∞,(iii)每—个真滤子是primar......
将Vague集理论与BL-代数的滤子理论相结合,提出了BL-代数的v-滤子的概念,研究了BL-代数的v-滤子的性质以及若干等价刻画,最后研究......
在对 BL-代数及其相关逻辑代数研究的基础上,通过加强 MTL-代数条件的方法建立BL-代数的一种弱化形式---WBL-代数,并给出 WBL-代数结......
在BL代数中引入了(∈,∈Vq)模糊理想的概念,给出了(∈,∈Vq)-模糊理想的性质和等价刻画;然后,通过模糊积和模糊上集概念的引入,给出了(∈,∈Vq)-......
在BL-代数中引入模糊超滤子和模糊固执滤子的概念,证明了如下条件对于BL-代数的非常数模糊滤子f来说是等价的:(1)f是布尔的和素的,(2)f是......
研究了定义在BL-代数上模糊关系方程A⊙X=B(其中“⊙”表示sup—*合成,A=(aij)I×J为已知系数矩阵,B=(bj)j∈J为已知行向量,X=(xi)i∈I为......
对满足线性序和消去律的BL-代数上模糊关系方程(aj→xj)=b在无限论域中的解进行了讨论.提出了可达解和不可达解的概念,讨论了极大解与......
针对一个公开问题:BL-代数中"一个normal滤子在什么合适条件下成为fantastic滤子?",通过研究BL-代数的fantastic滤子的等价条件,给出公......