HEYTING代数与FUZZY蕴函代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引起的，Fuzzy蕴涵代数是[0,1]值逻辑的蕴涵联结词的一种代数抽象。本文给出Heyting代数的若干基本性质，并证明了Heyting代数是Fuzzy蕴涵代数，也是Heyting型Fuzzy蕴涵代数。     

正则Fuzzy蕴涵代数

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

有限格蕴涵代数的零化子

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

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

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

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

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

Fuzzy蕴涵代数

本文讨论一个新的代数系统Fuzzy蕴涵代数,简称FI代数。FI代数是[0,1]值逻辑的蕴涵连接词的代数抽象,我们讨论了两类重要的FI代数—正则FI代数和HFI代数,并指出正则HFI代数与Boole代数的内在联系。     

关于Z-蕴涵代数

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

HEYTING代数与FUZZY蕴涵代数

Heyting代数是作为直觉主义命题逻辑的代数模型而引进的Fuzzy蕴涵代数是 [0 ,1]值逻辑的蕴函联结词的一种代数抽象 .本文给出Heyting代数的若干基本性质 ,并证明了Heyting代数是Fuzzy蕴涵代数 ,也是Heyting型Fuzzy蕴涵代数。     

Fuzzy蕴涵代数与MV代数

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

模糊蕴涵代数的结构特征

本文研究了模糊蕴涵代数的一些性质,给出了模糊蕴涵代数成为Heyting代数的一个条件,得到对模糊蕴涵代数的结构特征刻画,并给出了一个(2,0)型代数(X,→,0)成为模糊蕴涵代数的充分必要条件.     

强Ockham代数与剩余格

首先讨论了Ockham代数与剩余格的关系,引入了强Ockham代数的概念,并讨论了它的基本性质．然后,将著名的风蕴涵和风算子推广到Ockham代数上,证明了添加广义R0蕴涵和广义风算子后的Ockham代数L成为剩余格的充要条件是L为强Ockham代数．最后给出若干重要例子,以此来说明强Ockham代数的条件是独立的．     

Lattice Im plication Homom orphism inIm plication Filter Spaces

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

蕴涵格的滤子及同余关系

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

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.     

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.     

Notes on “A survey of fuzzy implication algebras and their axiomatization”

In this note, we present a correction of Theorem 2 in the paper [1], and show that all the conditions (I1)–(I5) in the definition of fuzzy implication algebras are independent of each other. In addition, we prove that the class of all commutative fuzzy implication algebras forms an equational algebra class.     

Implicative Ideals and Fuzzy Implicative Ideals of a Distributive Implication Groupoid

We introduce the notions of implicative ideals and fuzzy implicative ideals of a distributive implication groupoid. Some properties of these ideals will be investigated. In particular, the necessary and sufficient conditions for an ideal (fuzzy ideal) to be an implicative ideal (fuzzy implicative ideal) is given. By using the concept of level sets, we will characterize the fuzzy implicative ideals of a distributive implication groupoid. Finally, an extension property for fuzzy implicative ideals is given.     

有限单纯格蕴涵代数

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.     

关于内射的格蕴涵代数

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

Prime Space of Lattice Implication Algebras

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