Heyting代数的模糊滤子格

结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。     

ΕQ-代数上的模糊前滤子

模糊化方法可以有效简化代数结构的复杂性。因而文中应用代数系统模糊化方法和模糊集水平截集方法,研究EQ-代数的模糊前滤子的性质及其生成方法。进而得到以下结果:引入了EQ-代数模糊前滤子和素模糊前滤子的概念。分别给出了EQ-代数模糊前滤子、素模糊前滤子与前滤子、素前滤子之间的关系。给出了EQ-代数上由一个模糊子集生成一个模糊前滤子的公式。最后,得到了一个EQ-代数上全体模糊前滤子的集合构成一个完备模格。     

滤子化软FI代数

将软集概念及其相关运算运用于FI代数问题的研究。首先,提出滤子化软FI代数的概念并讨论其代数性质。其次,应用滤子化软FI代数概念给出了FI代数上的模糊集成为模糊MP滤子和(∈,∈∨q)-模糊MP滤子的几个充要条件。     

滤子化软FI代数

将软集概念及其相关运算运用于FI代数问题的研究。首先,提出滤子化软FI代数的概念并讨论其代数性质。其次,应用滤子化软FI代数概念给出了FI代数上的模糊集成为模糊MP滤子和（∈,∈Vq）-模糊MP滤子的几个充要条件。     

EQ-代数上模糊集的相关性质

EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要意义。继Vilem Nover提出了EQ-代数并在EQ-代数中引入滤子后,许多学者针对EQ-代数中滤子理论,做了大量的工作。该文以EQ-代数为研究对象,为主要工具,以水平截集为桥梁,在EQ-代数和模糊集的基础上,引入了EQ-代数模滤子的定义,讨论了EQ-代数模糊滤子的相关性质。     

可分EQ-代数的模糊准滤子的格结构

EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要意义。继Vilem Nover提出了EQ-代数并在EQ-代数中引入滤子后,许多学者针对EQ-代数中滤子理论,做了大量的工作。该文以EQ-代数为研究对象,为主要工具,以水平截集为桥梁,在EQ-代数和模糊集的基础上,引入了EQ-代数模滤子的定义,讨论了EQ-代数模糊滤子的相关性质。     

Heyting代数中的直觉模糊滤子

定义并讨论了Heyting代数中的直觉模糊滤子及其性质.给出了直觉模糊格滤子与直觉模糊滤子的关系,得到了直觉模糊滤子的几个等价条件.     

BL代数的区间值(∈,∈∨q)-模糊滤子理论

研究了BL代数的区间值(∈,∈∨q)-模糊滤子理论。在BL代数中引入区间值(∈,∈∨q)-模糊对合滤子和区间值(∈,∈∨q)-模糊结合滤子两类新概念,获得了它们的几个等价刻画。详细讨论了BL代数中各类区间值(∈,∈∨q)-模糊滤子间的关系,证明了一个区间值模糊集为区间值(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是区间值(∈,∈∨q)-模糊正关联滤子又是区间值(∈,∈∨q)-模糊对合滤子的结论。     

对偶效应代数中的理想和滤子

研究了效应代数和其对偶效应代数的理想和滤子的关系,模糊理想和模糊滤子的关系,强模糊理想和强模糊滤子的关系.证明了:效应代数与其对偶是同构的;每个效应代数都是自反的;效应代数的理想(滤子)的补元之集是对偶效应代数的理想(滤子);效应代数E的模糊子集f是其对偶效应代数E*的模糊理想(模糊滤子)当且仅当f是E的模糊滤子(模糊理想).     

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

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

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

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

强剩余BCC-代数及其正规素滤子定理

作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系.研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果.     

R0代数中的蕴涵滤子与同余关系

最近,王国俊教授建立了Ｒ０代数理论,为模糊逻辑提供了一种新的代数结构＾「１」。本文在Ｒ０代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。     

Heyting代数中同余关系的简化

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

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

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

FI代数的模糊软滤子

将模糊软集概念及其相关运算应用于FI代数的滤子理论研究,引入FI代数的模糊软滤子概念,给出它的若干代数性质,定义FI代数间的模糊软FI-同态(同构)概念,并证明FI代数的一个模糊软滤子在模糊软FI-同构(同态)下的像(原像)仍为模糊软滤子.     

BL代数的(∈，∈∨q))-模糊滤子格

对BL代数的(∈,∈∨q))-模糊滤子理论作进一步深入研究。给出了(∈,∈∨q))-模糊滤子的若干新性质,定义了由BL代数上的一个模糊集生成的(∈,∈∨q))-模糊滤子并建立了其表示定理,证明了BL代数的全体(∈,∈∨q))-模糊滤子之集构成一个完备的分配格。     

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

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

Heyting代数的布尔原子及其应用

利用Heyting代数的布尔元得到了Heyting代数的一种直积分解表示。基于Heyting代数的这种分解,证明了有限Heyting代数可通过依次替换布尔代数中的原子为Heyting代数而得到。该结论揭示了Heyting代数与布尔代数之间的一种新的关系。     

BL代数的(,∨(-overq))-模糊滤子格

对BL代数的(,∨(-overq))-模糊滤子理论作进一步深入研究。给出了(,∨(-overq))-模糊滤子的若干新性质, 定义了由BL代数上的一个模糊集生成的(,∨(-overq))-模糊滤子并建立了其表示定理, 证明了BL代数的全体(,∨(-overq))-模糊滤子之集构成一个完备的分配格。