格蕴涵代数定义的简化

证明定义有二元运算→和零元运算(固定元)0的非空集合L(即:L是(2,0)型代数)只要满足四条算律就可成为格蕴涵代数.因此,在定义格蕴涵代数时,我们不必要求L是有界有余格,从L是(2,0)型代数出发即可,这样大大简化了格蕴涵代数的定义.     

关于内射的格蕴涵代数

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

格蕴涵代数与MV-代数

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

关于格蕴涵代数与BCK-代数

证明了格蕴涵代数与有界可换 Ｂ Ｃ Ｋ代数是两类相互等价的代数系统,借此得到了一类 Ｂ Ｃ Ｋ代数的结构定理     

格蕴涵代数的BCK代数的关系

本文给出了有界可换的ＢＣＫ代数的分配性的一些等价条件，指出了格蕴涵代数与有界可换分配的ＢＣＫ代数以及格Ｈ蕴涵代数与有界关联的ＢＣＫ代数之间的对偶关系。     

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

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

有限格蕴涵代数的零化子

研究有限格蕴涵代数的零化子,找出有限格蕴涵代数所有理想的零化子,并证明对有限格蕴涵代数的理想做零化子运算(记为0*)是一个逆序对合算子,因此在由有限格蕴涵代数L的所有理想所组成的集合∑(L)上定义一个蕴涵算子,则(∑(L),O,L,0*,)构成一个格蕴涵代数。     

关于Z-蕴涵代数

基于N-半单代数和格蕴涵代数、FI-代数, Wajsberg-代数、BCK-代数、BCI-代数、BCC-代数及MV- 代数等的关系[9],本文中,我们引入了Z-蕴涵代数的概念, 并讨论了它们的某些性质.     

关于格蕴涵代数的余元及结构

根据格蕴涵代数的性质,利用蕴涵滤子的概念,给出一种确定任意元素的余元的思路,指出在几种特殊的分配格上不能定义格蕴涵代数,给出几种格蕴涵代数的结构。     

模糊格蕴涵代数范畴

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

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.     

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

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

格蕴涵代数的LI-理想空间

In this paper,a topological space based on LI-ideals of a lattice implication algebra is constructed,and its topological properties,such as separability,compactness and connectedness are discussed.     

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.     

On the Characteristic of Proper Lattice Implication Algebras

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

Prime Space of Lattice Implication Algebras

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

Lattice Im plication Homom orphism inIm plication Filter Spaces

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