MV-代数相关论文
借助于MV-代数的自同态引入并研究了MV-代数上的广义(→,⊕)-导子,得到了其等价刻画.此外,给出了MV-代数的广义中心主导子的概念,......
MV-代数是研究逻辑代数的重要理论基础.本文给出了MV-代数中一种距离函数的定义,并且讨论了它的性质;其次,在MV-代数中引入了“e”......
在逻辑代数中,蕴涵算子的性质决定了逻辑代数的基本结构.国际著名逻辑学家C.C.Chang提出了MV-代数,将MV--代数中蕴涵算子的特征和......
导子的概念来源于分析学,将它引入到代数系统中有助于研究代数系统的结构和性质.本文将研究BL-代数、MV-代数以及超MV-代数中的导......
本文在半环上建立了半线性空间,定义了向量、线性无关及基等概念,讨论了n维向量半线性空间中的矩阵和基,并运用于一类模糊关系方程的......
设M是一个MV-代数,Ω是从MV-代数M到MV-单位区间的全体赋值之集,μ是Ω上的概率测度.本文基于μ在M中引入了元素的尺寸和元素对之......
证明格蕴涵代数和有界可交换的"BCK-代数"是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统.......
在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质.细致地讨论MV-代数的素滤子集......
在MV一代数上引入了(→,⊙)一微分,研究了MV-代数(→,⊙)一微分的性质。定义并研究了正则(→,⊙))微分,并讨论了MV-代数的布尔中心上的(→,⊙)一微......
首先证明了Lukasiewicz系统中的公式┐x^m+y^n,┐mx+ny,┐x^m+ny,┐mx+y^n是强蕴涵算子,接着指出任意两个Lukasiewicz强蕴涵算子的合取和析......
证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质.以此为基础,讨论了R0-代......
粗糙集理论是一种新的处理模糊和不确定知识的数学工具,借助近似代数上的原子及同余关系,在证明了在适当选取加运算、乘运算和余运算......
在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明......
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换......
区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代......
证明了格蕴涵代数与有界可换 B C K代数是两类相互等价的代数系统,借此得到了一类 B C K代数的结构定理......
量子结构和代数结构上的态,是一种非概率测度,也是经典概率测度的一般化.本文将对一些量子结构和代数结构上的态和内态方面的研究......
通过数学软件Mathematica得到全部八阶以下的MTL-代数.采用的计算n(n≤8)阶MTL-代数的算法为从低阶有界分配格出发,依据MTL-代数蕴涵算......
证明了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-代数中利用蕴涵算子⊕给出了⊕理想......
定义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-代数建立了几组等价公理系,对原有的公理系进行了较好的简化。......
通过研究MV-代数、Ⅱ-代数、G-代数、R0-代数等模糊逻辑代数的赋值(从模糊逻辑代数L到单位区间[0,1]的同态)与滤子之间的关系,建立了MV......
通过将Molodtsov在1999年提出的软集合理论应用于MV-代数理论,提出了软MV-代数和软MV-子代数的概念,并且得到了相关的一些性质。......
证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 ,提出若干可进一步研究的课题......
MV-代数是一种逻辑代数,它是国际著名模型论专家C.C.Chang提出的代数体系,其目的在于提供无限值Lukasiewicz逻辑完备性定理的证明,......