正则Fuzzy蕴涵代数

Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出正则 Fuzzy蕴涵代数的几个刻画 ,并且得到正则 Fuzzy蕴涵代数构成格的几个条件。     

格蕴涵代数的蕴涵表示定理

在对格蕴涵代数和模糊蕴涵代数研究的基础上,给出了格蕴涵代数的三个蕴涵表示定理。极大地简化了格蕴涵代数的定义形式,使得格蕴涵代数在形式上更加突出逻辑代数的特征及其与其它逻辑代数之间的联系与区别。为进一步研究格蕴涵代数及其与其它逻辑代数的关系提供了一个有力的工具。     

R0-代数的格蕴涵表示定理

通过对模糊命题演算系统∧*及相应的Lindenbaum代数的研究,给出了R0-代数的格蕴涵表示形式,极大地简化了R0-代数的定义形式,使得R0-代数从定义形式上更加符合逻辑代数的特征,突出了R0-代数和其它逻辑代数的区别与联系,为进一步研究R0-代数及其和其它逻辑代数的关系提供了一个强有力的工具。     

R0代数的正则性及其Fuzzy拓扑表现定理

以ΩM记R0代数M到单位区间的全体赋值之集。本文先讨论R0代数的正则性问题,得到了关于R0代数正则性的一些结论。从而可通过一种自然的方法在ΩM上引入Fuzzy拓扑,建立了R0代数的Fuzzy拓扑表现定理。     

Fuzzy概率空间的Fuzzy格刻划

本文研究了Fuzzy概率空间中Fuzzy事件及概率的代数性质.利用Fuzzy概率空间中的概率为集函数这一特征和Fuzzy格的相关理论，得到了Fuzzy概率空间中的概率是从一个Fuzzy格到某个区间的Fuzzy格模同态，并将概率分解成Fuzzy格同态与Fuzzy格模同态的乘积。     

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

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

Fuzzy格上的KKM定理

讨论定义和Ｆｕｚｚｙ格上的某类映射的性质,主要结果是定理２．１。近几攫来,国内外许多专家、学者热心研究的ＫＫＭ定理,广义ＫＫＭ定理等冼多结果,都是定理２．１的一些简单和推论。由此说明,Ｆｕｚｚｙ格理论具有广泛的应用性。     

Fuzzy蕴涵代数的t-范及其性质

Fuzzy蕴涵代数是[0,1]值逻辑蕴涵联结词的一种代数抽象.本文在Fuzzy蕴涵代数中讨论了其上t-范的性质,并给出了Fuzzy蕴涵代数成为偏序半群的一个条件.     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

Fuzzy蕴涵代数的MP理想与正规MP理想

在Fuzzy蕴涵代数(简称FI代数)上引入了MP理想与正规MP理想的概念并给出了它们的等价刻画;探讨了FI代数的MP理想、偏序理想和正规MP理想间的多种关系, 证明了一个正则FI代数是可交换FI代数当且仅当它的每个MP理想都是正规理想,也当且仅当{0}是正规MP理想.     

蕴涵格的同余关系及熵蕴涵格

在蕴涵格中引入了蕴涵滤子的概念 ,讨论了蕴涵滤子的一些基本性质 ,并由此建立了由素蕴涵滤子决定的同余关系及其商蕴涵格 ,以便为Fuzzy推理建立严格的逻辑基础作些必要的准备 .     

关于格上蕴涵代数及其对偶代数

给出了格蕴涵代数、MV代数、R₀代数等一些格上蕴涵代数之间的关系,并建立了它们的对偶代数.其结果描述了这些代数内部结构的特征,同时也为从语义的角度进一步研究格值逻辑系统提供了一个新的途径.     

Fuzzy蕴涵代数与MV代数

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

模糊格蕴涵代数范畴

本文提出了模糊格蕴涵代数范畴FLC的概念，讨论了它的一些基本性质并指出了它与范畴LC的关系．     

Prime Space of Lattice Implication Algebras

1.IntroductionPeoplehavepaidmoreattentiontolathcevaluedlogicsystem,whichwillbecomemuchbetterlogicalsystemforintelligentcomputer.InreferenceL1JXuYangpresentanalgebrastructure-latticeimplicationalgebrabycomblngthelatticewithimplicationalgebraastruevaluefieldoflatticevaluedlogicaIsystem.Afterthat,westudytheimplicationhomomor-phism,congruencerelationsandalgebraicstructureoflatticeimplicationalgebraanddiscussthefirstorderlogicalsystemFMbasedonlatticeimplicationalgebras,andobtainedseveralimpor-ta…     

Fuzzy蕴涵代数的素MP-滤子空间(英文)

In this paper,the topological space(PF_MP（X）,T) based on prime MP-filters of a lattice FI-algebra X is constructed firstly and we proved that it is a compact T₀-space if X with condition（P）.Secondly,we restricted T to the set of all maximal MP-filters MF_MP（X） of X and concluded that(PF_MP（X）,T |_PFMP（X） )is a compact T₂ space if X with conditions（P） and（S）.     

正则FI代数的若干性质

讨论正则FI代数的若干性质。在研究FI代数与Boole代数间关系的同时,给出正则FI代数与BCK代数的另一种联系方式。     

由后件单增模糊蕴涵算子构造的一类模糊系统及其逼近特性

给出由关于规则后件单增的模糊蕴涵算子构造的乘积推理机、"单点"模糊化方法和中心平均解模糊化方法设计的模糊系统, 并分析了它对紧集上连续可微函数的逼近特性.结果表明: 当模糊蕴涵算子θ满足θ(a,1)=1时, 模糊系统不具有逼近能力; 当θ(a,1)=p(a)(当0相似文献