EQ-代数中的L-模糊滤子与EQ-同余

利用模糊数学和格论的思想方法,在EQ-代数中引入了L-模糊滤子的概念,得到了L-模糊滤子的一个等价刻画,证明了全体L-模糊滤子之集是序完备的EQ-代数。同时还研究了L-模糊滤子与EQ-同态和EQ-同余的关系,得到了EQ-代数中的基本同态定理。文中的结果是对EQ-代数中模糊前滤子理论的补充和完善。     

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

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

格蕴涵代数中的直觉模糊关联滤子

在格蕴涵代数关联滤子研究成果的基础上,将直觉模糊集理论与格蕴涵代数的关联滤子的结构及性质相结合,给出了格蕴涵代数中的直觉模糊关联滤子的定义,讨论了格蕴涵代数中直觉模糊滤子和直觉模糊关联滤子之间的关系,证明了在格蕴涵代数中直觉模糊关联滤子是直觉模糊滤子.同时,文中还研究了直觉模糊关联滤子的一些代数性质.     

BR0代数中的模糊布尔滤子

在BR0代数中引入模糊滤子和模糊布尔滤子的概念，给出了BR0代数中模糊滤子的充要条件以及若干性质。讨论了模糊布尔滤子与截集的关系。最后得到了模糊布尔滤子的几个等价刻画。     

Heyting代数中同余关系的简化

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

模糊子坡代数、模糊理想、模糊滤子及模糊同余关系的刻画

定义了坡代数（X,＋,＊）的模糊滤子的概念,给出了X上的模糊集A是（X,＋,＊）的模糊子坡代数（resp.,模糊理想,模糊滤子）的若干个等价刻画以及X×X上的模糊集E是（X,＋,＊）上的模糊同余关系的若干个等价刻画,另外还证明了模糊子坡代数范畴[0,1]-SInc是坡代数范畴Inc上的拓扑范畴。     

模态R0代数与模态滤子的若干性质

进一步研究了模态R0代数的一些重要性质,证明了:当函数y=□x在R0单位区间[0,1]内部有n个间断点时,在R0单位区间上能使([0,1]R0,□)成为模态R0代数的模态算子□共有2n种;F是模态R0代数中的模态滤子当且仅当F≠Φ,F是上集(即当a∈F,b≥a时,b∈F),且当a、b∈F时,□(a*b)∈F.并证明了任意一族模态滤子之交仍为模态滤子,所有素模态滤子之交为单点集{1}.     

MTL代数中的布尔滤子和正蕴涵滤子

在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。     

PBR_0代数的性质及其滤子

在研究BR_0-代数的基础上,首先给出了PBR_0-代数的概念,讨论了PBR_0-代数的一些性质,得到了PBR_0-代数的等价刻画定理,然后讨论了PBR_0-代数的滤子及其生成滤子的性质.     

Fuzzy蕴涵代数的滤子理论刘春辉1,2

在Fuzzy蕴涵代数中引入对合滤子和结合滤子的概念并研究它们的性质, 获得了这两类滤子的几个等价刻画; 讨论了Fuzzy蕴涵代数的对合滤子、结合滤子、关联MP滤子、正关联MP滤子和交换MP滤子间的关系, 证明了一个非空集合为正关联MP滤子当且仅当它既是对合滤子又是交换MP滤子。     

偏序集上关联蕴涵代数的性质

偏序集上的蕴涵代数是取值于偏序集上的逻辑蕴涵联结词的一种代数抽象．在偏序集关联蕴涵代数概念的基础上，本文对其性质进行了一定的讨论，给出了它与其它逻辑代数结构间的关系．     

乘积R0-代数上的若干映射性质

在乘积Ｒ０－代数上引入了若干有用映射，并利用Ｒ０－同态及Ｒ０－同构方法，进上步研究乘积Ｒ０－代数及其子代数之间的相互关系，得到Ｗ＾ｎ的一些基本Ｒ０－子代数，这些结果充实了Ｒ０－代数的研究且在ｎ值非线性序逻辑系统的语义理论的研究中有一定的使用价值。     

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

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

关于R0代数公理系统的简化与独立性的修正

目的简化R0代数的定义。方法修正并利用《R0代数公理系统的简化与独立性》一文的主要结果来考察R0代数的原始定义及其性质。结果给出了R0代数一个新的特征定理并证明了该定理中各条件相互独立。结论所给出的（弱）R0代数的简化定义已是最简。     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。     

BR_0代数中的~*理想及其诱导的商代数

通过在BR0代数中引入了新的运算*,首先定义了BR0代数中的*理想、素*理想、生成*理想、极大*理想,并研究了对应理想的一些性质;其次,通过(素)*理想构造出1个同余关系,并证明了1个BR0代数在该同余关系下的商代数还是(全序)BR0代数.     

R0-代数中的广义相对零化子

首先, 利用滤子的扩张方法在R₀-代数中引入相对零化子的概念, 并结合滤子的概念提出广义相对零化子的概念, 证明R₀-代数中广义相对零化子仍是滤子; 其次, 利用广义相对零化子刻画素滤子, 并讨论相对零化子与广义相对零化子的关系; 最后, 基于R₀-代数中的两个给定元, 给出一个以广义相对零化子为对象的满足并无穷分配律的完备剩余格结构.