否定非对合剩余格的BF-理想

为了深入研究否定非对合剩余格的结构特征,引入否定非对合剩余格的BF-理想概念并考察其性质.证明了BF-理想的BF-交集、同态像和同态原像也是BF-理想.同时,给出了BF-理想的BF-并集成为BF-理想的条件.     

否定非对合剩余格的模糊LI理想

对否定非对合剩余格的模糊LI理想问题作进一步深入研究.首先,给出了模糊LI理想的一些新性质和新刻画.然后,引入正规模糊LI理想的概念并研究其性质,获得了模糊LI理想成为正规模糊LI理想的若干充要条件.     

否定非对合剩余格上基于正规模糊理想的一致拓扑空间

拓扑结构是逻辑代数研究领域的重要研究内容之一,为了揭示否定非对合剩余格上的拓扑结构,基于正规模糊理想诱导的同余关系在否定非对合剩余格上构造一致拓扑空间并讨论其拓扑性质.证明了:(1)一致拓扑空间是第一可数,零维,非连通,局部紧的完全正则空间;(2)一致拓扑空间是T_1空间当且仅当是T_2空间;(3)否定非对合剩余格中格运算和伴随运算关于一致拓扑都是连续的,从而构成拓扑否定非对合剩余格.同时,获得了一致拓扑空间是紧空间和离散空间的充分必要条件.最后,讨论了拓扑否定非对合剩余格中代数同构与拓扑同胚间的关系.对从拓扑层面进一步揭示否定非对合剩余格的内部特征具有一定的促进作用.     

关于正则余剩余格与对合BCK-格

进一步研究了余剩余格的一些性质,在此基础上证明了正则余剩余格与对合BCK-格是两个等价的代数系统。所得结果将有助于深入了解正则余剩余格的代数结构,也为相关多值逻辑系统的研究提供又一途径。     

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

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

格的Fuzzy同余理想

文「１」提出了格的Ｆｕｚｚｙ理想，Ｆｕｚｚｙ同余关系等概念并对其性质进行了探讨。本文在此基础上提出了格的Ｆｕｚｚｙ同余理想的概念并分别讨论了格，Ｆｕｚｚｙ商格及格直积的Ｆｕｚｚｙ同余理想，得到了一些初步结果。     

非对合剩余格的正规双极值模糊理想

本文对非对合剩余格的双极值模糊理想问题作进一步深入研究.引入了非对合剩余格的正规双极值模糊理想概念, 考察了其性质并获得了其若干等价刻画.同时, 给出了两类特殊的双极值模糊理想的定义, 分别称为极大双极值模糊理想和完全正规双极值模糊理想并讨论了它们的性质和相互关系.这些工作为进一步揭示非对合剩余格的结构特征拓展了研究思路.     

对合Quantale同余关系

给出对合Quantale同余的概念,得到了对合Quantale同余的一些性质,讨论了对合Quantale同余与同态之间的关系,最后给出了对合Quantale乘积上的同余关系的结构。     

正交模格OML上的同余关系

介绍了正交模格上同余关系的性质,给出正交模格上一个二元关系是同余关系的条件.证明了正交模格上的理想是正交模理想的充分必要条件扣等价命题,最后介绍了换位子理想.     

伪统一模与剩余格之间的关系

讨论伪统一模与剩余格之间的关系,证明完备格上无穷∨-分配伪统一模和它的剩余蕴涵算子构成一个完备剩余格,并说明任给一个完备剩余格L=(L,∧,∨,*,e→,,*是无穷∨-分配的伪统一模,→和(?)是*的剩余蕴涵算子.     

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

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

Monadic Bounded Residuated Lattices

Bounded integral residuated lattices form a large class of algebras which contains algebraic counterparts of several propositional logics behind many-valued reasoning and intuitionistic logic. In the paper we introduce and investigate monadic bounded integral residuated lattices which can be taken as a generalization of algebraic models of the predicate calculi of those logics in which only a single variable occurs.     

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

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

幂等剩余格

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

关于PFI-代数与剩余格

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

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.