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

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

格蕴涵代数上的同余关系

本文研究格蕴涵代数上的同余关系，给出了同余关系诱导的商格蕴涵代数，格蕴涵同态诱导的同命关系，滤子与同余关系之间的联系．     

格蕴涵代数中滤子的逻辑性质(英文)

讨论了当格蕴涵代数L是完全分配格时蕴涵运算的一些性质 ,在格蕴涵代数L上引入了集合的蕴涵传递性概念 ,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理 ,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则和替换定理     

利用格蕴涵代数找出所有滤子的算法

格蕴涵代数中的滤子是格值逻辑推理中的一类重要代数结构．本文给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数中所有滤子的方法．并举例说明该方法的有效性、可行性．     

格蕴涵代数的反犹豫模糊滤子

本文研究了格蕴涵代数的反犹豫模糊滤子。将反犹豫模糊集应用于格蕴涵代数,提出反犹豫模糊滤子概念,得到了若干等价刻画;给出犹豫模糊集的反扩张定理,并讨论了反犹豫模糊滤子的像与原像的关系;最后定义了犹豫模糊集的反直积,研究了反犹豫模糊滤子与直积格蕴涵代数的反犹豫模糊滤子之间的关系,证明了乘积格蕴涵代数的犹豫模糊子集是反犹豫模糊滤子的必要条件。     

格蕴涵代数中的扩张滤子

在格蕴涵代数中提出了扩张滤子的概念,讨论了扩张滤子与滤子,扩张滤子与素滤子,扩张滤子与滤子的根,扩张滤子与准素滤子,扩张滤子与最大滤子之间的关系.得到了扩张滤子的一些性质.最后,证明了在格H蕴涵代数中,扩张滤子与扩张滤子的根相等.     

格蕴函代数中滤子的逻辑性质

讨论了当格蕴函代数L是完全分配格时蕴涵运算的一些性质,在格蕴函代数L上引入了集合的蕴函传递性概念,证明了格蕴涵代数的滤子满足蕴涵传递性和替换定理,即格蕴涵代数的滤子满足命题逻辑的三段论推理规则的替换定理。     

蕴涵格的MP*-滤子

通过对模糊逻辑代数中传统MP-滤子的定义进行改造,在蕴涵格中引入MP*-滤子的概念,并由此构作了完整的同余关系和商代数结构;同时,引入优蕴涵格的概念,证明了优蕴涵格的素滤子定理,从而完满地建立了蕴涵格的一般滤子理论,研究结果表明,当蕴涵格特化为IMTL-代数、R0-代她、MV-代数时,MP*-滤子正好特化为传统的MP-...     

剩余格蕴涵代数中多重模糊结合滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊结合滤子的概念,研究了其性质.然后,讨论了多重模糊结合滤子与模糊滤子之间的关系;接着,讨论了多重模糊结合滤子与多重模糊关联滤子之间的关系;最后,得到了在格H蕴涵代数中,不同的多重模糊结合滤子之间等价的结论.     

Fuzzy蕴涵代数的犹豫模糊滤子格

对Fuzzy蕴涵代数的犹豫模糊滤子问题作进一步深入研究。引入了由Fuzzy蕴涵代数上的一个犹豫模糊集生成的犹豫模糊滤子概念,给出了其基本性质并建立了其表示定理。证明了一个Fuzzy蕴涵代数(X,→,0)的全体犹豫模糊滤子之集HFil(X)在犹豫模糊包含序?_H下构成一个分配的连续(代数)格,从而构成一个Frame.     

Lattice Im plication Homom orphism inIm plication Filter Spaces

ＩｍｐｌｉｃａｔｉｏｎｆｉｌｔｅｒｓｄｅｒｉｖｅｆｒｏｍＭｏｄｕｓＰｏｅｎｅｓＲｕｌｅｉｎｌｏｇｉｃ．Ｉｔｉｓｖｅｒｙｉｍｐｏｒｔａｎｔｔｏｓｔｕｄｙｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａｓａｎｄｔｈｅｃｏｒｒｅｓｐｏｎｄｉｎｇｌａｔｔｉｃｅ－ｖａｌｕｅｄｌｏｇｉｃｓｙｓｔｅｍ．Ｉｎｏｒｄｅｒｔｏｉｎ－ｖｅｓｔｉｎｇａｔｅｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａｓｆｒｏｍｔｈｅｖｉｅｗｏｆａｎａｌｙｓｉｓ，ｉｍｐｌｉｃａｔｉｏｎｆｉｌｔｅｒｓｐａｃｅｈａｓｂｅｅｎｅｓｔａｂ…     

关于内射的格蕴涵代数

多值逻辑是人工智能中一个重要的研究方向。为了进一步深入研究多值逻辑,特别是真值基于格上的多值逻辑,文献「１」提出并提建立了格蕴涵代数这一逻辑代数结构,进而研究了对应的格值逻辑系统。本文则集中讨论了一类较特殊但也较广泛的格蕴涵代数,即内射的格蕴涵代数,深入探讨了这类代数和一些性质并给出了其特征结构的刻画。     

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.     

格蕴涵代数的区间值模糊子代数

将区间值模糊集的概念应用于格蕴涵代数,引入区间值模糊格蕴涵子代数的概念并研究它们的性质.讨论了区间值模糊格蕴涵子代数与（模糊）格蕴涵子代数之间的关系;定义了区间值模糊集的象和原象,获得了区间值模糊格蕴涵子代数的象和原象成为区间值模糊格蕴涵子代数的条件.     

L-型模糊格蕴涵代数

This paper introduced the concept of L-fuzzy sub lattice implication algebra and discussed its properties. Proved that the intersection set of a family of L-fuzzy sub lattice implication algebras is a L-fuzzy sub lattice implication algebra, that a L-fuzzy sub set of a lattice implication algebra is a L-fuzzy sub lattice implication algebra if and only if its every cut set is a sub lattice implication algebra, and that the image and original image of a L-fuzzy sub lattice implication algebra under a lattice implication homomorphism are both L-fuzzy sub lattice implication algebras.     

Prime Space of Lattice Implication Algebras

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

有限单纯格蕴涵代数

In this paper,some necessary and sufficient conditions that a finite lattice implication algebra is simple are established.Specially,it is proved that a finite lattice implication algebra L is simple if and only if (L,≤) is a chain,if and only if there exists the unique dual atom in L.Also,it is given that a finite lattice implication algebra with order of a prime number is simple.     

On the Characteristic of Proper Lattice Implication Algebras

ＯｎｔｈｅＣｈａｒａｃｔｅｒｉｓｔｉｃｏｆＰｒｏｐｅｒＬａｔｔｉｃｅＩｍｐｌｉｃａｔｉｏｎＡｌｇｅｂｒａｓ￥ＸｕＹａｎｇ；ＱｉｎＫｅｙｕｎ（ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ）（ＨｅｎａｎＮｏｒｍａｌＵｎｉｖｅｒｓｉｔｙ）Ａｂｓｔ...