Fuzzy格（软代数）的标准分支,正则分支及直积分解

该文是对作者文［１］的补充、修正和发展．文中深化了分支的观念，引入了标准分支、正则分支、Ｐ－到Ｆｕｚｚｙ格等构造性新概念．讨论了它们的特征、性质以及相互关系．Ｆｕｚｚｙ格（软代数）以一种自然方式集合幂集格的同态嵌入，以及直积分解．该文通过特定分支与特定元的内在关系．得出了Ｆｕｚｚｙ格比较具体的直积分解定理．其中四、五、六节，依次就Ｐ－型、正统Ｐ－型、完全三种Ｆｕｚｚｙ格，作了详细地分析和讨论．     

软代数（Fuzzy格）的中理想及同余关系

本文主要研究软代数（Ｆｕｚｚｙ格）的内部构造．本文首次引入了反映软代数（Ｆｕｚｚｙ格）基本特性的所谓理想（Ｍ－理想）的概念．证明了任一软代数的全体中理想组成一分配格．其次讨论了软代数（Ｆｕｚｚｙ格）的同余关系，证明了全体同余关系组成一具有０，１元素的完备分配格和Ｂｒｏｕｗｅｒ格．给出了极大同余关系的存在性，讨论了软代数中“理想”跟“同余”的关系．证明了每个理想及每个元素、每个中理想都以一种确定的方式定义一同余关系．文中有趣地发现跟一般格论显著不同，在软代数（Ｆｕｚｚｙ格）里，一个理想产生的同余关系在自然映射之下，其核一般不再等于原来的理想．文中给出了使之等于原理想的充分必要条件．从而为探索同余理想（即与核相等的理想），开避了道路．本文在我们软代数讨论班上散发之后，已有四、五名学者在此基础上写出了新的论文．     

软代数的表示定理

本文研究了集对代数,证明了集对代数是Ｆｕｚｙ格。通过引入强素理想与强素滤的概念,证明了软代数的表示定理：定义了至多只有一个不动点的复原映射的格为软代数的充要条件是它具有同构集对表示。由表示定理可得任一软代数都具有集对表示     

Fuzzy格的M-理想

Ｍ－理想是Ｆｕｚｚｙ格的特有概念,在Ｆｕｚｚｙ格的研究中,有它的独特优势。本文首先给出Ｍ－理想的一般性质;其次给出了Ｍ－理想与同余关系及同态的对应关系;最后,给出了Ｍ－理想并的新的构造等式,证明了当主Ｍ－理想完备时,Ｆｕｚｚｙ格的全体主Ｍ－理想构成完备分配格     

软代数的自然表示

指出了软代数现行表示的非自然性;通过引入新的集对F格与伪幂集格,获得了两个自然的软代数表示定理,并证明了它们在某种意义上不可能再改进.     

幂格与幂集格的关系

由幂格的定义知 ,幂格与幂集格是不同的 ,然而它们却有一定的联系 .本文在幂格概念的基础上 ,进一步地讨论幂格和幂集格在一定条件下的联系 .     

Fuzzy蕴涵代数与MV代数

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

完全分配格与点格

本文第一部分利用完备格上的上拓扑子基,给出完全分配格与点格的若干新刻划,并讨论其上的 Scott 拓扑与 Lawson 拓扑的基与子基的构造.第二部分讨论点格与代数格的关系,证明了 L 是点格当且仅当 L 为代数格且 L~(op)为完全 Heyting代数,并证明了代数偏序集范畴与点格范畴是等价的.     

关于格的极小生成元集

本文证明了格的极小生成元集一定是最小生成元集且只能是非零完全并既约元全体，证明了分配格具有最小生成元集的必要条件是它满足并无限分配律．本文还证明了完全Ｈｅｙｔｉｎｇ代数具有最小生成元集当且仅当它是强代数格，证明了完备格是强代数格当且仅当它和它的对偶格均是具有最小生成元集的分配格．     

基于格蕴涵代数的模糊幂集

模糊幂集理论依赖于相应的模糊算子的选取,本文通过格蕴涵代数中的蕴涵算子讨论了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.     

有限单纯格蕴涵代数

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

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

格蕴涵代数的直觉模糊LI-理想

本文深入研究了格蕴涵代数的直觉模糊\textit{LI}-理想理论.给出了直觉模糊\textit{LI}-理想的若干新的性质和等价刻画. 建立了由一个直觉模糊集生成的直觉模糊\textit{LI}-理想的表示定理.证明了一个格蕴涵代数的全体之集模糊\textit{LI}-理想之集在直觉模糊包含序下构成一个完备的分配格.     

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

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

Algebraic aspects of generalized approximation spaces

The concept of approximation spaces is a key notion of rough set theory, which is an important tool for approximate reasoning about data. This paper concerns algebraic aspects of generalized approximation spaces. Concepts of R-open sets, R-closed sets and regular sets of a generalized approximation space (U,R) are introduced. Algebraic structures of various families of subsets of (U,R) under the set-inclusion order are investigated. Main results are: (1) The family of all R-open sets (respectively, R-closed sets, R-clopen sets) is both a completely distributive lattice and an algebraic lattice, and in addition a complete Boolean algebra if relation R is symmetric. (2) The family of definable sets is both an algebraic completely distributive lattice and a complete Boolean algebra if relation R is serial. (3) The collection of upper (respectively, lower) approximation sets is a completely distributive lattice if and only if the involved relation is regular. (4) The family of regular sets is a complete Boolean algebra if the involved relation is serial and transitive.     

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

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