粗糙集代数中的剩余格结构

讨论粗糙集代数与剩余格的关系.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及相应的剩余算子之后,粗糙集代数就成为剩余格,并进而证明了粗糙集代数也是MV代数与R0代数.     

完全分配格与点格

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

关于格的极小生成元集

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

集对Fuzzy格及其在格表示论中的应用

用幂集格构造了集对 Ｆｕｚｚｙ 格（这与用整数对构造有理数集有相似之处）,并用它证明了完整的软代数表示定理,即定义了到自身的映射且有最大元和最小元的格为软代数的充要条件是它与某个集对 Ｆｕｚｚｙ 格的子格同构．这样,与分配格在幂集 Ｂｏｏｌｅ 格中表示相对应,软代数在集对 Ｆｕｚｚｙ 格中有表示,在理论上是很完美的     

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

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

剩余格及有界psBCK-代数成为布尔代数的充要条件

研究了一般剩余格(未必可换)与布尔代数的关系,给出剩余格成为布尔代数的一系列充要条件.同时,进一步将这些结果推广到只含有蕴涵运算的有界psBCK-代数中,证明了在一定条件下由psBCK-代数可诱导出有界格且构成布尔代数.     

广义Smooth格

作为由Weng所引入的smooth格和scott紧生成格的推广,引入了广义smooth 格和广义smooth代数格,讨论了它们的一些基本性质,证明了完备格L是广义完全分配格当且仅当L是广义smooth格和广义连续格.     

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

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

正则剩余格上的模糊理想及模糊蕴涵理想

对正则剩余格的结构作进一步研究。利用正则剩余格上、算子并结合模糊数学的思想和方法,在正则剩余格上引入了模糊理想和模糊蕴涵理想的概念,讨论了它们的基本性质。主要结果是:(1)给出了模糊理想和模糊蕴涵理想的等价刻画;(2)证明了模糊蕴涵理想一定是模糊理想,模糊理想不必是模糊蕴涵理想;(3)证明了全体模糊理想之集在给定的运算下是一个完备的分配格。     

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

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

分配伪补格的主理想

本文给出了分配伪补格 ( L;∧ ,∨ ,* ,0 ,1 )中的主理想 I=( d]成为同余理想的充分必要条件 .当 L是局部有限时 (即 d∈ S( L) ,Fd={x|x* * =d}有限 ) ,对骨架 S( L)中的每个元素 d,我们找到了以 I=( d]为核心的最小同余关系 ,利用以上结果我们得到一个 Stone代数是布尔代数的一些等价条件 .     

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

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

环上的模糊理想幂格及其强截集诱导的格

给出了环上模糊理想幂格的概念,得到相关性质。进而由环上模糊理想强截集诱导出格,讨论了它不是分配格,但为模格。同时,将环上升为主理想环,得到了模糊理想乘积的强截集等于强截集的乘积,且都为环的理想。最后,讨论了Boolean环的模糊子集为模糊理想与其伴随构成交半格的关系。     

Fuzzy prime Boolean filters and their operations in IMT L-algebras

Some characterizations of fuzzy prime Boolean filters of IMT L-algebras are given. The lattice operations and the order-reversing involution on the set PB(M) of all fuzzy prime Boolean filters of IMT L-algebras are defined. It is showed that the set PB(M) endowed with these operations is a complete quasi-Boolean algebra (a distributive complete lattice with an order-reversing involution). It is derived that the algebra M=F, which is the set of all cosets of F, is isomorphic to the Boolean algebra {0; 1} if F is a fuzzy prime Boolean filter. By introducing an adjoint pair on PB(M), it is proved that the set PB(M) is also a residuated lattice.     

有序集上的自由Ockham代数的注记

从构造有序集上的自由分配格出发，证明了任意有序集上存在自由Ｏｃｋ－ｈａｍ代数     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.     

Characterization of incidence algebras

We develop an internal characterization of the incidence algebra of a lower anite quasi-ordered set and dualize it to obtain a characterization of the corresponding coalgebra. The algebra characterization consists of two axioms concerning the homomorphic images of the algebra and another axiom stipulating the existence of a faithful module over the algebra which has a distributive lattice of submodules.     

On the free implicative semilattice extension of a Hilbert algebra

Hilbert algebras provide the equivalent algebraic semantics in the sense of Blok and Pigozzi to the implication fragment of intuitionistic logic. They are closely related to implicative semilattices. Porta proved that every Hilbert algebra has a free implicative semilattice extension. In this paper we introduce the notion of an optimal deductive filter of a Hilbert algebra and use it to provide a different proof of the existence of the free implicative semilattice extension of a Hilbert algebra as well as a simplified characterization of it. The optimal deductive filters turn out to be the traces in the Hilbert algebra of the prime filters of the distributive lattice free extension of the free implicative semilattice extension of the Hilbert algebra. To define the concept of optimal deductive filter we need to introduce the concept of a strong Frink ideal for Hilbert algebras which generalizes the concept of a Frink ideal for posets.