MV-代数相关论文
MV-代数是研究逻辑代数的重要理论基础.本文给出了MV-代数中一种距离函数的定义,并且讨论了它的性质;其次,在MV-代数中引入了“e”......
在逻辑代数中,蕴涵算子的性质决定了逻辑代数的基本结构.国际著名逻辑学家C.C.Chang提出了MV-代数,将MV--代数中蕴涵算子的特征和......
导子的概念来源于分析学,将它引入到代数系统中有助于研究代数系统的结构和性质.本文将研究BL-代数、MV-代数以及超MV-代数中的导......
本文在半环上建立了半线性空间,定义了向量、线性无关及基等概念,讨论了n维向量半线性空间中的矩阵和基,并运用于一类模糊关系方程的......
证明格蕴涵代数和有界可交换的"BCK-代数"是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统.......
在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质.细致地讨论MV-代数的素滤子集......
首先证明了Lukasiewicz系统中的公式┐x^m+y^n,┐mx+ny,┐x^m+ny,┐mx+y^n是强蕴涵算子,接着指出任意两个Lukasiewicz强蕴涵算子的合取和析......
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质.以此为基础,讨论了R0-代......
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换......
区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代......
证明了格蕴涵代数与有界可换 B C K代数是两类相互等价的代数系统,借此得到了一类 B C K代数的结构定理......
量子结构和代数结构上的态,是一种非概率测度,也是经典概率测度的一般化.本文将对一些量子结构和代数结构上的态和内态方面的研究......
证明了Heyting代数是特殊的剩余格,由此得到了Heyting代数的若干性质,给出了Heyting代数成为Boole代数、格蕴涵代数、MV-代数和弱R......
研究了王国俊教授建立的模糊命题演算的形式演绎系统L*和与之在语义上相匹配的R0-代数,以及Petr Hajek建立的模糊命题演算系统BL和......
以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz.赋值之集.本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM......
讨论了MV-代数(X;+,×,*,0,1)上自然偏序关系的一些基本性质,给出了MV-代数的一个等价公理系,它同D.Mundici曾提出的一个简化公理系相比更为简单。......
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻......
在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想......
定义MV-代数上关于Boole划分的下近似和上近似运算,给出关于Boole划分的下近似和上近似运算的性质。利用MV-代数的全体Boole元素集......
在有界可换BCK-代数(X;*,0)中定义x=Nx,x+y=y*Nx,x×y=Ny*x),1Mv=0,则(X,+,×,0Mv,1mv)是一个MV-代数;而在MV-代数(X,+,×,0Mv,1mv)中定义X*y=x+y,0=1Mv,则〈X;*,0〉则X;*,0〉是一个有界可换BCK-代数。......
期刊
在偏序集上引入了余伴随对((+),(-))的概念,并研究了它在格上的若干性质,提出了余剩余格理论,最后在此基础上给出了MV-代数的一个......
通过对基础模糊命题演算系统BL*及相应的Lindenbaum代数的研究,给出了BR0-代数的格蕴涵表示形式,使得BR0-代数从定义形式上更加符合......
证明了弱FI-代数与BCI-代数是互相等价的.因而,可以充分利用BCI-代数的理论来研究弱FI-代数.此外,还证明了弱MV-代数与MV-代数本质......
在重新定义补运算和构造新蕴涵算子的基础上,证明了偶序对〈R,~〉不仅可以构成蕴涵格、格蕴涵代数、剩余格,而且可构成正则剩余......
文中首先引入MV-代数的滤子的概念,并把粗糙集理论中上、下近似的概念应用于MV-代数,引入了MV-代数的上、下粗糙滤子的概念。最后讨......
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。......
首先建立MV-代数的模糊理想和超积的概念,在此基础上进一步讨论它们的基本性质....
文提出了局部R0-代数的概念,并给出了相应的等价条件,即(i)R0-代数L是局部的,(ii)任意x∈L,ord(x)〈∞或ord(-x)〈∞,(iii)每—个真滤子是primar......
通过研究MV-代数、Ⅱ-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV......
通过将Molodtsov在1999年提出的软集合理论应用于MV-代数理论,提出了软MV-代数和软MV-子代数的概念,并且得到了相关的一些性质。......
证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 ,提出若干可进一步研究的课题......
MV-代数是一种逻辑代数,它是国际著名模型论专家C.C.Chang提出的代数体系,其目的在于提供无限值Lukasiewicz逻辑完备性定理的证明,......