MV代数相关论文
科学技术的进步与现代数学的发展密不可分,特别是包含多值逻辑与模糊逻辑等在内的非经典数理逻辑在人工智能等领域中发挥着不可替......
非经典逻辑是模糊推理及模糊控制等理论基础的一部分。近年来,模糊控制技术在应用方面取得了举世瞩目的成功.然而,作为其核心的模糊推......
NML代数是MV代数和NM(R0)代数的共同基础,因而其系统居于承上启下的地位,在NML代数中引入滤子(理想)这个工具以后,可以证明许多代......
讨论P-有界分配格的理想集代数与剩余格的关系.证明了在适当选取蕴涵算子及相应的剩余算子之后,P-有界分配格的理想集代数就成为剩......
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨......
文【3】给出了理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的形式演绎系统B,证明了此系统是可靠的。该文提出理想状态......
基于MV代数(Many—Valuedalgebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的......
滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了......
引入交换Hibert代数与BCK-代数的概念,给出了它的一个等价公理系。同时,研究了Hiblert代数与BCK-代数,MV代数的关系。......
引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y,=(y→x)→x时构成MV代数,也构成弱R0代数.同时探讨了关联蕴涵代数与剩余格及B......
根据MV代数中伴随对(*,→)的定义,由二元运算*引入了*滤子的概念,证明了*滤子即是通常意义下的滤子,同时也研究了其*滤子的简单性质.......
讨论了R0代数与MV代数的关系,给出了R0代数的一种根....
简化了弱R0代数及R0代数的定义。在弱R0代数的基础上,提出可交换弱R0代数,并讨论了它的一些新的性质。探究了可交换弱岛代数与格蕴涵......
系统研究Fuzzy蕴涵代数与BCK代数之间的关系,给出MV代数与BCK代数之间的联系,建立正则FI代数和对合BCK代数的对偶代数.......
讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后......
讨论粗糙集代数与刺余格的关系。借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为......
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从......
探讨以Boole代数、MV代数、R0代数为特例的仰代数的代数性质;得到了概括上述3个代数系统表示定理的仰代数表示定理;在一恰当的结构上......
通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV......
为了在经典逻辑学中建立Fuzzy分离规则的推理模式,Zadeh提出了赋值决定公式问题(VDF问题),并已于二值命题逻辑以及Lukasiewicz三值和p+1......
给出了格蕴涵代数、MV代数、R0代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时......
本文采用IMV代数的构造方法,定义了IBC代数,对其相关性质进行了初步研究,进而在其上定义了偏序关系,给出了IBC代数的一种构造方法,......
多值逻辑与当今的一些前沿学科如模糊控制,人工智能,神经网络和计算机科学等有着密切的联系.不同的多值逻辑系统对应着不同的多值逻辑......
用代数的方法研究逻辑问题近年来是逻辑领域中备受关注的热点问题之一,在不同的逻辑背景中,学者们先后引入了许多不同的逻辑代数系......