MS—代数的理想和同余关系

给出了 MS—代数 L的理想 I =( d]可以成为某个同余关系核的充要条件 ;分别给出了以 L的理想 I =(

弱MTL代数的演绎系统与同余关系的对应定理

通过在剩余格L中引入条件:a,b∈L,(a→(a→b))∨(b→(b→a))=1,建立弱MTL代数结构,讨论弱MTL代数中极大(素)演绎系统和极大(素)同余关系的基本性质以及两者之间的联系,证明了弱MTL代数中(极大,素)同余关系与(极大,素)演绎系统一一对应。

幂格的同态与同余关系

本文在文 [1 ]已引入幂格同态概念的基础上 ,进一步引入幂格同余关系的概念 ,并得到它们的一些相关性质 ,以及幂格同态与幂格同余关系的对应关系 .

K_(11)-代数的主同余关系的可补性

研究K11-代数的主同余关系的可补性,给出K11-代数的主同余关系是可补的充要条件。

可逆半群上Fuzzy同余关系对的性质

本文在较弱的条件下，给出了可逆半群上Ｆｕｚｚｙ同余关系对的几个重要性质，并建立了Ｆｕｚｚｙ同余关系对与Ｆｕｚｚｙ同余关系间的一一对应。

模糊幂格的同态与同余关系

研究了在格的同态、同余关系上分别诱导的模糊幂格的同态、同余关系,获得了它们的若干相关性质,以及模糊幂格同态与模糊幂格同余关系的对应关系。

MS-代数的主同余关系的注记

研究MS代数的主同余关系的可补性,给出了MS代数的主同余关系是可补的充要条件。

布尔代数上的Fuzzy同余关系

引入了布尔代数上的Fuzzy同余关系的概念,讨论了布尔代数上的Fuzzy同余关系与布尔代数的Fuzzy理想之间的关系,给出了商布尔代数的同构定理。

BE-代数的犹豫模糊滤子和犹豫模糊同余关系

运用犹豫模糊集的方法和原理研究BE-代数的滤子和同余关系问题.首先,引入了BE-代数的犹豫模糊滤子概念,获得了犹豫模糊滤子的若干性质和等价刻画.其次,引入了BE-代数的犹豫模糊同余关系概念,讨论了犹豫模糊同余关系的性质及其与犹豫模糊滤子概念之间的关系,给出了BE-代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.

格蕴涵代数上的同余关系

本文研究格蕴涵代数上的同余关系，给出了同余关系诱导的商格蕴涵代数，格蕴涵同态诱导的同命关系，滤子与同余关系之间的联系．

伪补MS-代数的核理想与同余关系

在伪补MS-代数上引入核理想的概念,利用伪补MS-代数主同余表示定理,讨论伪补MS-代数上的核理想的性质,得到核理想生成的同余关系的表达式.

格环上的Fuzzy同余关系

给出了格环上Fuzzy同余关系的定义 ,研究了它的若干性质 ,证明了格环上的全体Fuzzy同余关系关于Fuzzy集合的包含关系构成一个模格 ,并利用Fuzzy同余类给出了Fuzzy同余商格环的定义及其同态、同构的若干性质 .

分配格上的素理想与同余关系

众所周知,格L的任意一个素理想集都确定L的一个同余关系。本文讨论了相反的问题,指出仅当L是分配格时才能用素理想集确定其每个同余关系。进一步又证明了分配格的同余关系格可嵌入于它的素理想集的对偶幂集格。本文最后还给出了上述嵌入是同构的充分必要条件为L是局部有限的。

离散事件系统拟同余关系的改进算法

针对离散事件系统,本文主要研究计算最优拟同余关系时减少时间复杂度的算法.基于Paige&Tarjan提出且Fernandez修改的、可有效计算最粗粒度划分问题的算法,本文给出一种时间复杂度为O(mlogn)的计算最优拟同余关系的算法.该算法适用于离散事件系统比较复杂,尤其是可观事件很少的情况.与Ramadge和Wonham提出的时间复杂度为O(mn)的算法相比,该算法计算过程耗时较短.本文还讨论了计算拟同余关系的边界情况的改进方法.仿真结果表明所提出算法的有效性.

剩余格上的模糊滤子和模糊同余关系

介绍了剩余格上的模糊同余关系和模糊滤子的定义,给出了剩余格上模糊滤子和模糊同余关系间的一一对应,证明了在剩余格上模糊滤子和模糊同余关系上定义适当的序关系可使它们是完备格同构。

蕴涵格的滤子及同余关系

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

Heyting代数中同余关系的简化

给出了Heyting代数中同余关系的一种简单定义,这种定义并不改变全体滤子和全体同余关系之间的一一对应性,并且借助滤子证明了这种定义是Heyting代数作为泛代数的同余关系的简化。最后证明了全体滤子之集作为完备格同构于全体同余关系之集。

部分可换半群的子代数与同余关系

讨论了部分可换半群的子代数与同余关系之间的关系,进一步研究部分可换半群的商代数的结构。证明了部分可换半群上的Riesz子代数可诱导出满足消去律的同余关系,且通过此同余关系得到的商代数是满足正律的。

R_0-代数上的Fuzzy同余关系

在R0-代数中引入Fuzzy同余关系的概念,讨论了Fuzzy同余关系的一些基本性质,并通过对R0-代数中的Fuzzy M P滤子,特别是生成Fuzzy M P滤子的讨论建立了Fuzzy M P滤子与Fuzzy同余关系之间的联系。

R_0-代数上的同余关系

研究了 R0 -代数上的同余关系。首先通过探讨一类 R0 -代数 ,建立起滤子与同余关系之间的联系 ,进而深入到其乘积上。最后以模糊滤子为工具定义 R0 -代数上的同余关系 ,讨论了滤子与模糊滤子之间的联系 ,并给出了由同余诱导的商 R0