Lattice Implication Algebrasand MV-algebras

Lattice implication algebras is an algebraic structure which is established by combining lattice and implication algebras. In this paper,the relationship between lattice implication algebras and MV algebra was discussed,and then proved that both of the categorys of the two algebras are categorical equivalence. Finally,the infinitely distributivity in lattice implication algebras were proved.

区间集上的格蕴涵代数、FI-代数、MV-代数的研究

区间集是一个新的重要的研究方向,在近似推理、模糊控制等领域中有着广泛的应用。在区间集上,重新定义了区间蕴涵,构造了格蕴涵代数,讨论了格蕴涵代数的一系列性质。同时在区间集上也重新定义了可换FI-代数和MV-代数,证明了格蕴涵代数、FI-代数和MV-代数3种不同的代数系统是等价的。

关于MV-代数

讨论了 MV-代数 ( X;+,× ,* ,0 ,1 )上自然偏序关系的一些基本性质 ;给出了 MV-代数的一个等价公理系 ,它同 D.Mundici曾提出的一个简化公理系相比更为简单 .

Fuzzy蕴涵代数与MV代数

＊本文讨论Ｆｕｚｚｙ蕴涵代数与ＭＶ代数之间的关系，并证明了在一定的条件下Ｆｕｚｚｙ蕴涵代数是剩余格。

软集合和软MV-代数

通过将Molodtsov在1999年提出的软集合理论应用于MV-代数理论,提出了软MV-代数和软MV-子代数的概念,并且得到了相关的一些性质。

粗糙集代数与MV代数

讨论粗糙集代数与MV代数的关系以及由粗糙集代数构造MV代数的方法。粗糙集代数本身具有格结构,证明了在适当选取蕴涵及乘积运算之后,粗糙集代数就成为MV代数。

MV-代数、BL-代数、R_0-代数与多值逻辑

证明三种不同形式的 MV-代数刻画的等价性 ,分析 MV-代数、BL -代数与 R0 代数的逻辑背景 。

关于MV-代数的模糊理想和超积

在文献[1]中,首先使MV-代数形式化,而且研究了MV-代数的逻辑性,证明了该形式化的MV-代数理论可应用于子模、同态及链并集,同时证明了该形式化理论是不完备的且形式也不完备;本文进一步建立MV-代数的模糊理想及超积概念,并且探讨它们的基本性质.

基于MV代数语义的格值逻辑的程度化方法

基于MV代数(Many-Valued algebra)语义,通过在MV代数赋值格和全体命题集上分别建立概率测度,利用积分方法提出了一种格值逻辑上命题的概率真度.由此可诱导出命题集上的伪距离,进而在格值逻辑上建立了概率逻辑度量空间并展开程度化推理.本文将计量逻辑学中近似推理方法推广到格值逻辑上,为格值逻辑的程度化提供了一种可行的方法.

MV代数定义的蕴涵简化形式

通过对MV代数和Lukasiewicz命题演算系统的研究,我们对MV代数的定义进行了简化,并讨论了MV代数和其它代数之间的关系。主要结果是:(1)从蕴涵角度出发,给出了MV代数的两种简化定义;(2)提出了弱格蕴涵代数的概念,并证明了它与BR0代数等价;(3)证明了弱格蕴涵代数是正则Fuzzy蕴涵代数。

R_0-代数与MV-代数的关系

证明了剩余格和正则剩余格中一些典型的附加条件之间的等价性,引入了正规剩余格的概念并给出了其若干性质。以此为基础,讨论了R0-代数和MV-代数之间的关系。

MV-代数、R_0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格

基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质.说明了剩余格在逻辑代数系统中的重要地位;分析了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数以及基础R0代数之间的相互关系,为进一步的研究奠定了必要的基础.

R0代数,MV代数的等价刻画

通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.

MV-代数的Fuzzy拓扑表现定理

以ΩM记MV-代数M到MV-单位区间[0,1]的全体Lukasiewicz赋值之集．本文证明了格完备的MV-代数是正则的,从而可通过一种自然的方法在ΩM上引入fuzzy拓扑δ,建立了MV-代数的fuzzy拓扑表现定理,并给出了fuzzy拓扑δ的一些性质．

关于MV-代数的逻辑性质(英文)

MV 代数是C.C.Chang为了提供Lukasiewicz和Tarski的多值逻辑系统的完备性定理的代数证明而发明的。它通过逻辑的观点,更进一步观察MV-代数的模型论性质。在本文中,我们研究了MV 代数的逻辑性质,得出形式化的MV 代数理论在子模、同态链的并之下有所保留;我们也证明了这个形式化的理论既不完备也不模型完备。

关于MV-代数的模糊理想和超积(英文)

首先建立MV-代数的模糊理想和超积的概念,在此基础上进一步讨论它们的基本性质。

弱FI代数、弱MV代数

本文引入弱FI代数、弱MV代数的概念 。

幂等MV-代数

设M是一个MV-代数,如果M是Artinian幂等的,则M是有限个极小理想的直和.对于有限MV-代数M,M是幂等的当且仅当存在正整数n,使得|M|=2n;当且仅当M同构于MV-代数2X,其中X是由n个元素组成的集合.

MV-代数的粗糙性

粗糙集理论是一种新的处理模糊和不确定知识的数学工具,借助近似代数上的原子及同余关系,在证明了在适当选取加运算、乘运算和余运算之后,粗糙集代数就成为MV-代数。

MV-代数上的不确定性测度

定义MV-代数上关于Boole划分的下近似和上近似运算,给出关于Boole划分的下近似和上近似运算的性质。利用MV-代数的全体Boole元素集合上的mass函数定义MV-代数上的信任函数和似然函数,讨论MV-代数的上、下近似与信任函数和似然函数的关系。