正则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理想与正规MP理想

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

Fuzzy蕴涵代数的MP滤子

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

模糊格蕴涵代数范畴

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

关于格蕴涵代数公理的一个注记

设在一个非空集合L上有一个二元运算→和两个零元运算O与I，除此之外没有其它已知的代数结构，利用这三个运算可以在L上定义一个一元运算′和两个二元运算∨和∧（定义2．1）。本文证明了只要这些运算满足格蕴涵代数的公理（不包括有余格的公理），（L，∨，∧，′）就是一个有泛界O，I的有余格（定理2．2）。因此在定义格蕴涵代数时可以在一个没有任何代数结构的非空集合上定义蕴含运算而不必在一个有泛界的有余格上定义蕴含运算，而且在这两种定义方式中蕴含运算所满足的条件是相同的。     

Fuzzy蕴涵代数与MV代数

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

On the Product and Factorization of Lattice Implication Algebras

In this paper,the concepts of product and factorization of lattice implication algebra areproposed,the relation between lattice implication product algebra and its factors and some properties oflattice implication product algebras are discussed.     

A survey of fuzzy implication algebras and their axiomatization

The theory of fuzzy implication algebras was proposed by Professor Wangming Wu in 1990. The present paper reviews the following two aspects of studies on FI-algebras: concepts, properties and some subclasses of FI-algebras; axiomatization of the class of FI-algebras and some of its important subclasses. The main results are summarized in the current paper, the relationships between FI-algebras and several classes of important fuzzy algebras are discussed, such as BL-algebras, MTL-algebras, and residuated lattices, and propositional calculus systems of several special classes of FI-algebras are shown.     

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

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

Prime Space of Lattice Implication Algebras

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