关于《完备Brouwer格上伪t-模与蕴涵算子》的注记

举例说明关于伪t-模与蕴涵算子的文献[FSS 132(2002)113]中定理4.1是错误的,此定理还被接连用到[FSS 139(2003)673]及其它文献。本文进而给出此基础性定理成立的一个必要条件。注意,该必要条件是不能由无穷∨-分配伪t-模与无穷∧-分配蕴涵算子的定义引出的。     

完备格Brouwer上伪t-模与蕴涵算子的注记(Ⅱ)

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

阿基米德统一模

给出了阿基米德统一模的定义,证明了阿基米德统一模等价于严格统一模,及其生成元之间至多相差一个正乘积因子.     

剩余格与正则剩余格的特征定理

本文进一步研究了具有广泛应用的一类模糊逻辑代数系统——剩余格，并引入了正则剩余格的概念，对剩余格与正则剩余格的定义进行了讨论，给出了剩余格与正则剩余格的特征定理，其中包含剩余格与正则剩余格的等式特征，从而这两个格类都构成簇．本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系．     

完备格Brouwer上伪t-模与蕴涵算子的注记(II)(英文)

进一步研究完备Brouwer格上伪t-模与蕴涵算子,给出同二元算子生成的伪t-模与蕴涵算子的计算公式。     

完备Brouwer格上伪t-模与蕴涵算子的注记(I)

进一步研究完备Brouwer格上伪t-模和蕴涵算子,讨论完备Brouwer格上伪t-模和蕴涵算子的直积分解。     

广义剩余蕴涵北大核心

本文基于一般的聚合算子,提出一类新的模糊蕴涵,称之为广义剩余蕴涵.广义剩余蕴涵是模糊逻辑中十分重要的剩余蕴涵的自然推广.我们进一步讨论这类蕴涵的基本性质,并且探究广义剩余蕴涵与由模糊合取生成的蕴涵之间的关系,并证明这两类蕴涵为不同的蕴涵.这些结果在模糊逻辑与模糊决策之间建立了新的联系.     

预线性与对合非结合剩余格

非结合剩余格是非结合格值逻辑系统的代数抽象,本文研究几类特殊非结合剩余格的代数性质。证明了满足预线性条件的非结合剩余格必是分配格,并给出预线性非结合剩余格的充分必要条件。同时,引入对合和强对合非结合剩余格的概念,研究了它们的基本性质,并分别给出对合和强对合非结合剩余格的等价条件。最后,通过反例说明强对合预线性非结合剩余格不一定是蕴涵格。     

特殊类型伪相等代数之间的关系

研究了有界伪相等代数,格伪相等代数,对合伪相等代数,预线性伪相等代数和交换伪相等代数的性质,并且详细地讨论了它们之间的关系。此外,利用伪相等代数和伪剩余格的性质证明了对合伪相等代数和对合伪剩余格是等价的。     

广义单侧剩余广群

对吴氏左（右）剩余广群，给出一种新而且简化的定义，并详细地讨论其基本性质。用其主要结论得到完备格上的所有无穷∨-分配强伪t-模与所有无穷∧-分配强蕴涵算子之间的关系。     

幂等剩余格

研究一种特殊的刺余格--幂等刺余格,证明满足幂等性的一般刺余格必是可换剩余格,即不存在非可换的幂等剩余格.讨论幂等剩余格的基本性质以及与各类特殊剩余格之间的关系.在一般剩余格中引入psG-滤子的概念,给出其一组等价条件,并借助psG-滤子刻画幂等刺余格的特征.     

LFI代数的性质及其与剩余格的关系

讨论LFI代数的性质．也讨论具有可嵌入性的LFI代数的性质；还给出了定义在完备格上的LFI代数成为剩余格的充要条件。     

Fuzzy Weak Regular,Strong and Preassociative Filters in Residuated Lattices

In this paper, the notions of fuzzy weak regular, strong and preassociative filters are introduced with some properties of them investigated. In particular, under the context of Glivenko algebras, fuzzy weak regular filters and regular ones are equivalent and characterizations of Glivenko algebras are concluded by characterizations of fuzzy strong filters. At last the notion of fuzzy preassociative filters are defined, which are proved to coincide with fuzzy Boolean filters, and then some new alternative definitions of Boolean algebras are obtained by this type of filters.     

Some Properties of Residuated Lattices

We investigate some (universal algebraic) properties of residuated lattices--algebras which play the role of structures of truth values of various systems of fuzzy logic.     

Fuzzy Topology Based on Residuated Lattice-Valued Logic

We use a semantical method of complete residuated lattice-valued logic to give a generalization of fuzzy topology as a partial answer to a problem by Roser and Turquette. This work is supported by the National Foundation for Distinguished Young Scholars (Grant No: 69725004), Research and Development Project of High-Technology (Grant No: 863-306-ZT06-04-3) and Foundation of Natural Sciences (Grant No: 69823001) of China and Fok Ying-Tung Education Foundation     

关于PFI-代数与剩余格

本文提出了一种强FI代数-PFI代数,并且深入研究了它的性质,借此进一步揭示了FI-代数和剩余格之间更加密切的联系,进而以FI-代数为基本框架建立了R0-代数、正则剩余格等逻辑系统的结构特征(包括对隅结构)及其相互关系．这种以FI-代数为基础来统一处理剩余格和R0-代数的方法,同样适合于格蕴涵代数和MV代数等代数结构,而且从中更能清楚地看出它们之间的密切联系,也将有助于对相应形式逻辑系统与模糊推理的研究．     

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

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

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。