L*-Lindenbaum代数中的滤子

利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.     

￡~*-Lindenbaum代数中的商理想

利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)～所得的商代数F(S)/～中的运算,在F(S)/～中定义了商理想,讨论了商理想的性质,得到了F(S)/～中的商理想都有形如┐D(Γ)的形式.     

Luk-Lindenbaum代数中的*滤子

从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。主要结果是:(1)Luk-Lindenbaum代数F(S)／～中的*滤子都是〈D(Γ)〉形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3) F(S)／～中的极大*滤子与通常意义下的极大滤子是一致的。     

PBR_0代数的性质及其滤子

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

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

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

BL代数中极大滤子的拓扑性质

在BL代数L的全体极大滤子之集MF（L）上构造两种拓扑惑与§^＊,证明了（MF（L）,§）是紧致的Haus—dorff空间,（MF（L）,§^＊）是T1空间。并且得出了当相关论域取为有限集或全序的无限集时,§=§^＊。     

Heyting代数中的直觉模糊滤子

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

BR0代数中的模糊布尔滤子

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

BR0代数的次极大 滤子

首先通过在砜代数M中引入 滤子,然后又给出了M中次极大 滤子的概念,并讨论了它的性质,得到BR0代数的每个 滤子都可分解为一些次极大 滤子的交,特别地,在满足 滤子降链条件的BR0代数中,每个 滤子都可分解为有限个次极大 滤子的交。     

BR0代数的次极大(⊙)滤子

首先通过在砜代数BR,0中引入(⊙)滤子,然后又给出了肘中次极大(⊙)滤子的概念,并讨论了它的性质,得到BR,0代数的每个(⊙)滤子都可分解为一些次极大(⊙)滤子的交,特别地,在满足(⊙)滤子降链条件的BR,0代数中,每个(⊙)滤子都可分解为有限个次极大(⊙)滤子的交.     

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

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

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

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

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

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

FI代数中基于相对非的滤子

引入了FI代数中相对非的概念,讨论了相对非的性质。利用相对非给出了FI代数中相对正则滤子、扩展相对正则滤子和弱相对正则滤子的概念,得到了这些滤子的特征定理。分析了FI代数中基于滤子的相对双补元之集的代数性质,得到了扩展相对正则滤子的应用。     

伪度量L~*-Lindenbaum代数中基本运算的连续性

研究了伪度量L Lindenbaum代数中基本运算的连续性.结果表明,Fuzzy命题演算系统L 中的全体公式集上的伪度量可以在L Lindenbaum代数M上诱导出一个伪度量ρ,证明了M上的非运算、并运算以及蕴涵运算关于ρ都是连续的.这为在(M,ρ)上建立近似推理理论提供了方便.     

MTL代数的性质及其滤子

讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及α的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M／～F成为布尔代数．     

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

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