格蕴涵代数的素对偶理想

在格蕴涵代数中定义了一类特殊的素对偶理想,讨论了它们的结构和性质,证明了该格蕴涵代数中的蕴涵运算可以由这些特殊的素对偶理想所确定,并且这些特殊的素对偶理想全体自然地构成一个格蕴涵代数,它和原格蕴涵代数具有格蕴涵代数同构关系。     

基于逐点优化模糊推理的模糊控制器及其插值机理

本文从直观优化思想出发,提出一种逐点优化模糊推理方法,称之为POFI方法. 首先分别给出了基于POFI方法的Mamdani蕴涵算子、代数积蕴涵算子和Zadeh蕴涵算子的FMP算法与FMT算法中寻求推理后件(或前件)的计算表达式.然后分别获得了基于POFI方法的Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器、Zadeh蕴涵算子模糊控制器及加乘算子模糊控制器的插值表示,由此发现这些模糊控制器具有函数逼近的泛性.其次指出在基于POFI方法的单输入单输出情况下,Mamdani蕴涵算子模糊控制器、代数积蕴涵算子模糊控制器及加乘算子模糊控制器三者相互等效,并且在基于POFI方法的双输入单输出情况下,Mamdani蕴涵算子模糊控制器与代数积蕴涵算子模糊控制器是等效的.     

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推理建立严格的逻辑基础作些必要的准备 .     

Lattice Im plication Homom orphism inIm plication Filter Spaces

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

蕴涵格的滤子及同余关系

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

Prime Space of Lattice Implication Algebras

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

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

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

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

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

格蕴涵代数与MV-代数

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

Topological representation for monadic implication algebras

In this paper, every monadic implication algebra is represented as a union of a unique family of monadic filters of a suitable monadic Boolean algebra. Inspired by this representation, we introduce the notion of a monadic implication space, we give a topological representation for monadic implication algebras and we prove a dual equivalence between the category of monadic implication algebras and the category of monadic implication spaces.      

正则Fuzzy蕴涵代数

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

A new class of fuzzy implications. Axioms of fuzzy implication revisited

Many different fuzzy implication operators have been proposed; most of them fit into one of the two classes: implication operations that are based on an explicit representation of implication A → B in terms of &, , and ¬ (e.g., S-implications that are based on the formula B ¬ A), and R-implications that are based on an implicit representation of implication A → B as the weakest C for which C&B implies A. However, some fuzzy implication operations (such as b^a) cannot be naturally represented in this form. To describe such operations, we propose a new (third) class of implication operations called A-implications whose relation to &, , and ¬ is described by (implicit) axioms.     

On Certain Filters in Lattice Implication Algebras

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

Congruence kernels of orthomodular implication algebras

Abstracting from certain properties of the implication operation in Boolean algebras leads to so-called orthomodular implication algebras. These are in a natural one-to-one correspondence with families of orthomodular lattices. It is proved that congruence kernels of orthomodular implication algebras are in a natural one-to-one correspondence with families of compatible p-filters on the corresponding orthomodular lattices.     

格蕴涵代数的左幂等元

为了研究命题真值取于格上的逻辑系统,文献[1]给出了格蕴涵供数的概念,文献[2-6]给出了格蕴涵代数的滤子,同态和性质（P）的概念,并讨论了它们的一些性质。本文在格蕴函代数中引入左幂等元的概念,讨论格蕴函代数中左幂等元的性质及由全体左幂等元所构成集合的代数结构,得到格蕴涵代数的分解定理：格蕴涵代数可以分解为由左幂等元构成左映射的像集合与对偶核的直和。     

The Extended Alpha-triple I Algorithm Based on the Generalized Implication Operator

In this paper, the classical implication operator is generalized, and then the definition of generalized implication operator on [0, 1] is proposed. Based on generalized implication operator, the extended alpha-triple I principle is presented by generalizing the alpha-triple I algorithm. By analyzing the essence of alpha-triple Fuzzy Modus Ponens (FMP) and alpha-triple Fuzzy Modus Tollens (FMT) principles, and based on the generalized implication operator, the generalized calculating formula of extended alpha-triple I algorithm is proposed. At the same time, the reversibility on the proposed alpha-triple I algorithm is discussed. It is proved that Compositional Rule of Inference (CRI) is a special case of extended alpha-triple I algorithm. Finally, two implication operations are proposed to validate the proposed generalized equation.     

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.     

On the Characteristic of Proper Lattice Implication Algebras

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