MV-Algebra相关论文
在MV-方体[0,1]X的子集Ω上引进MV-拓扑结构,并套论MV-拓扑空间的紧性、Hausdorff分离性等拓扑性质.细致地讨论MV-代数的素滤子集......
首先证明了Lukasiewicz系统中的公式┐x^m+y^n,┐mx+ny,┐x^m+ny,┐mx+y^n是强蕴涵算子,接着指出任意两个Lukasiewicz强蕴涵算子的合取和析......
粗糙集理论是一种新的处理模糊和不确定知识的数学工具,借助近似代数上的原子及同余关系,在证明了在适当选取加运算、乘运算和余运算......
在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明......
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换......
基于MV代数(Many—Valuedalgebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的......
滤子是研究逻辑代数的有效工具.本文研究了BL代数的fantastic和normal滤子的等价条件,得到了在MV-代数中两种滤子之间的等价性,给出了......
量子结构和代数结构上的态,是一种非概率测度,也是经典概率测度的一般化.本文将对一些量子结构和代数结构上的态和内态方面的研究......
本文引入弱FI代数,弱MV代数的概念,研究了它们的一些性质。...
以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz.赋值之集.本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM......
引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y,=(y→x)→x时构成MV代数,也构成弱R0代数.同时探讨了关联蕴涵代数与剩余格及B......
在MV-代数中引入了⊕理想概念,并对⊕理想与同余关系的联系及其相关性质进行了初步研究。在MV-代数中利用蕴涵算子⊕给出了⊕理想......
定义MV-代数上关于Boole划分的下近似和上近似运算,给出关于Boole划分的下近似和上近似运算的性质。利用MV-代数的全体Boole元素集......
通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从......
MV-代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的.它通过逻辑的观点,更进一步观察M......
本文证明了格蕴涵代数和有界可交换BCK-代数是两个等价的代数系统,以及MV-代数和有界可交换BCK-代数是两个等价的代数系统。......