蕴涵格的滤子及同余关系

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

Prime Space of Lattice Implication Algebras

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

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

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

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.     

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

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

Subdirectly Irreducible and Directly Indecomposable Lattice Implication Algebras

Lattice implication algebra is an algebraic structure that is established by combining lattice and implicative algebra. It originated from the study on lattice-valued logic. In this paper, we characterize two special classes of lattice implication algebra, namely, subdi-rectly irreducible and directly indecomposable lattice implication algebras. Some important results are obtained.     

格蕴涵代数的关联理想与模糊关联理想(英文)

本文提出了格蕴涵代数的关联理想和模糊关联理想的概念 ,讨论了它们的性质 ,指出了关联理想与理想、关联理想与关联滤子、关联理想与模糊关联理想、模糊关联理想与模糊关联滤子、模糊关联理想与模糊理想之间的关系     

On the Characteristic of Proper Lattice Implication Algebras

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

蕴涵格及其Fuzzy拓扑表现定理

以L－Lindenbaum代数为背景,引入了蕴涵格与正则蕴涵格的概念,讨论了其基本性质,引入了Fuzzy蕴涵空间的概念,为点集拓扑学中零维空间概念的推广．建立了正则蕴涵格的Fuzzy蕴涵空间表现定理,以此为基础可以给出著名的Stone表现定理的另一种证明．     

On Certain Filters in Lattice Implication Algebras

ＯｎＣｅｒｔａｉｎＦｉｌｔｅｒｓｉｎＬａｔｔｉｃｅＩｍｐｌｉｃａｔｉｏｎＡｌｇｅｂｒａｓＬｉｕＪｕｎ；ＸｕＹａｎｇ（ＤｅｐａｒｔｍｅｎｔｏｆＡｐｐｌｉｅｄＭａｔｈｅｍａｔｉｃｓ，ＳｏｕｔｈｗｅｓｔＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｃｈｅｎｇｄｕ，...     

关于内射的格蕴涵代数

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

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

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

偏序集上蕴涵代数的素滤子

偏序集上的蕴涵代数是取值于偏序集上的蕴涵逻辑联结词的一种代数抽象.以偏序集上蕴涵代数中由蕴涵算子引入的逻辑运算t-余范为工具,讨论了偏序集上蕴涵代数的一些性质,然后引入了偏序集上蕴涵代数的素滤子的概念,讨论了素滤子在一定条件下的性质,并给出了一个MP滤子成为素滤子的条件.     

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.     

有限单纯格蕴涵代数

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.     

格蕴涵代数与MV-代数

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｏｒｄｅｒｔｏｒｅｓｅａｒｃｈｔｈｅｌｏｇｉｃａｌｓｙｓｔｅｍｗｈｏｓｅｐｒｏｐｏｓｉｔｉｏｎａｌｖａｌｕｅｉｓｇｉｖｅｎｉｎａｌａｔｔｉｃｅｆｒｏｍｔｈｅｓｅｍａｎｔｉｃｖｉｅｗｐｏｉｎｔ,ｗｅｈａｖｅｐｒｏｐｏｓｅｄｔｈｅｃｏｎｃｅｐｔｏｆｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａｓｉｎ［１］ａｎｄｈａｖｅｄｉｓｃｕｓｓｅｄｔｈｅｉｒｓｏｍｅｐｒｏｐｅｒｔｉｅｓ．ＭＶ－ａｌｇｅｂｒａｓｗｅｒｅｉｎｖｅｎｔｅｄｂｙＣ．Ｃ．Ｃｈａｎｇ［２］ｉｎｏｒｄｅ…     

格蕴涵代数中的扩张滤子

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

Quasi—uniformities on Lattice Implication Algebras

§１．　ＩｎｔｒｏｄｕｃｔｉｏｎＩｎｏｒｄｅｒｔｏｒｅｓｅａｒｃｈｔｈｅｌｏｇｉｃａｌｓｙｓｔｅｍｗｈｏｓｅｐｒｏｐｏｓｉｔｉｏｎａｌｖａｌｕｅｉｓｇｉｖｅｎｉｎａｌａｔｔｉｃｅ，ＸｕＹ．［Ｘｕ２］ｐｒｏｐｏｓｅｄｔｈｅｃｏｎｃｅｐｔｏｆｌａｔｔｉｃｅｉｍｐｌｉｃａｔｉｏｎａｌｇｅｂｒａａｎｄｄｉｓｃｕｓｓｅｄｉｔｓｓｏｍｅｐｒｏｐｅｒ－ｔｉｅｓｉｎ［Ｘｕ１］ａｎｄ［Ｘｕ２］．Ａｌｓｏ，ｉｎ［ＸＱ１］，ＸｕＹ．ｔｏｇｅｔｈｅｒｗｉｔｈＫ．Ｙ．Ｑｉｎｄｉｓｃｕｓｓｅｄｔｈｅｐｒｏｐ－ｅｒｔｉｅｓｏ…     

利用格蕴涵代数找出所有LI-理想的方法

利用格蕴涵代数中理想的定义未找出所有的理想需要花费大量的时间.给出了利用格蕴涵代数的蕴涵运算表找出格蕴涵代数所有理想的方法;再利用析取运算表找出格蕴涵代数中所有sl_理想的方法;最后,利用蕴涵否运算表找出格蕴涵代数中所有LI-理想的方法.     

Representation of Cubic Lattices by Symmetric Implication Algebras

In this paper a cubic lattice L(S) is endowed with a symmetric implication structure and it is proved that L(S) \ {0} is a power of the three-element simple symmetric implication algebra. The Metropolis–Rota’s symmetries are obtained as partial terms in the language of symmetric implication algebras.