正则剩余格的粗滤子

本文讨论正则剩余格中的粗滤子。首先在剩余格中引入同余关系,讨论了同余关系的性质,然后给出基于同余关系的粗糙集代数,并定义粗滤子、粗素滤子等概念,最后讨论了它们的性质。     

软子半群

首先,在软集的基础上将参数集赋予半群的代数结构,给出了软子半群的新概念,得到了它的一些等价刻画;其次,利用软集的交和且运算,获得了两个子软半群的交和且也是软子半群。另外还给出了软子半群的像与原像的性质。最后,给出了K-软子半群的新概念,讨论了它的一些基本性质。     

无限格与其非标准扩张

在非标准κ-饱和模型下,研究了无限格L的非标准扩张*L的性质及其在L-集滤子理论中的应用.首先,定义了κ-完备格的概念,讨论了完备格与κ-完备格之间的关系,证明了无限格L的非标准扩张*L是κ-完备格.其次,定义了L-集滤子的单子,利用κ-完备格证明了此定义是合理的.最后,利用L-集滤子的单子给出了L-集滤子族上确界存在的充分且必要条件.     

模糊软格和模糊软理想

把模糊软集理论运用到格上,引入了模糊软格的概念,进一步提出格的模糊软子格、模糊软理想以及模糊软格的模糊软理想等,并通过α-水平截集给出了模糊软格和模糊软理想的等价刻画,最后研究了它们的一些基本性质。     

区间集非交换剩余格广义fuzzy正规滤子与广义fuzzy同余关系的构造

以模糊粗糙集的区间集思想与滤子理论作为研究工具,引入了区间集上非交换剩余格的广义fuzzy正规滤子,以此构造性给出广义fuzzy同余关系及其等价性表示定理,从而诱导性构成了区间集上非交换剩余格的广义fuzzy同余类与广义fuzzy商集的代数结构,指出了它们的区别与相互联系,凸显区间集上非交换剩余格的各种代数结构的本质特征刻画。     

剩余格的粗滤子

讨论剩余格中的粗滤子。在剩余格中引入同余关系,构造基于剩余格的粗糙集代数。特别地,讨论基于滤子的剩余格的粗糙集代数,定义粗滤子、粗素滤子等概念,并讨论它们的性质,为粗糙逻辑的进一步研究作理论基础。     

剩余格上的(λ,μ)直觉模糊滤子北大核心

在剩余格上引入λ,μ直觉模糊滤子的概念,讨论了它与剩余格上滤子之间的关系,研究了λ,μ直觉模糊滤子在剩余格同态下的像与原像的相关性质.     

剩余格上的(λ,μ)直觉模糊滤子

在剩余格上引入λ,μ直觉模糊滤子的概念,讨论了它与剩余格上滤子之间的关系,研究了λ,μ直觉模糊滤子在剩余格同态下的像与原像的相关性质.     

幂交半格上的交同余及其性质

给出了幂交半格上几个具体的交同余,证明了任意多个交同余的并是交同余,并指出幂交半格的交同余类是子交半格,介绍了幂交半格上由θ诱导的交同余具有保并性和保序性。     

R_0代数上的monadic算子

本文引入了monadic算子,定义和研究了monadic R_0代数。在此基础上定义了monadic滤子和monadic同余,探讨了monadic滤子和monadic同余之间的一一对应关系。在monadic R_0代数的全体monadic滤子集上引入了格运算和伴随对,证明了这样定义的monadic滤子格构成一个Heyting代数。通过例子说明了monadic R_0代数未必构成monadic剩余格。最后给出了monadic R_0代数形成monadic剩余格的一个条件。     

(∈,∈ Vq)-模糊软格

将模糊软集的概念与格相结合,引入了(∈,∈Vq)-模糊软格和(∈,∈Vq)-模糊软格的(∈,∈Vq)-模糊软子格的概念,给出了它们的若干代数性质.定义了格的模糊软同态概念,证明了(∈,∈Vq)-模糊软格在格的一个模糊软同态下的像与原像仍为(∈,∈Vq)-模糊软格的结论.     

(∈,∈∨q)-模糊软格

将模糊软集的概念与格相结合,引入了(∈,∈∨q)-模糊软格和(∈,∈∨q)-模糊软格的(∈,∈∨q)-模糊软子格的概念,给出了它们的若干代数性质.定义了格的模糊软同态概念,证明了(∈,∈∨q)-模糊软格在格的一个模糊软同态下的像与原像仍为(∈,∈∨q)-模糊软格的结论.     

FI代数的犹豫模糊滤子与犹豫模糊同余关系

将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合,引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系.获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.证明了当分别在CFI代数的全体犹豫模糊滤子集和全体犹豫模糊同余关系集上定义适当的序关系后,二者保序同构.     

R_0代数中素滤子的拓扑性质

首先讨论了R_0代数M中MP滤子、素滤子的基本性质,然后通过自然的方式在M的全体素滤子之集PF_(IL)(M)上构造拓扑,证明了PF_(IL)(M)是紧致的T_0空间.最后把PF_(IL)(M)上的拓扑限制在M的全体极大滤子之集MF_(IL)(M)上,得到MF_(IL)(M)是紧致的Hausdorff空间.     

R_0-代数的Stone拓扑表示定理

研究R0-代数中极大滤子的结构性质,通过引入有限平方交性质的概念证明了素理想定理;在全体极大滤子之集上引入了Stone拓扑,研究了Stone空间的性质;在R0-代数中引入了Boole-元的概念,证明了R0-代数的Stone拓扑表示定理,即,全体Boole-元作为Boole代数同构于该R0-代数的Stone空间中的全体既开又闭子集构成的Boole代数。Boole代数的Stone拓扑表示定理可作为该表示定理的特例而给出。     

剩余格中TL-同余关系的简化

对于剩余格L,它具有四个运算∧,∨,,→,因此进行一次运算时所需要的操作会显得很繁琐,相应的工作量就会加大。为了减少工作量,我们简化了剩余格中TL-同余关系的表达式,得到了新的TL-同余关系,证明了这种新的TL-同余关系和TL-滤子仍然是一一对应的。     

φ-拓扑

§1 φ-函子在连续格理论中存在着一类具有共性的函子,如函子φ_s:范畴COM_s(对象完备格,态射保任意交)→集范畴SET,φ_(L)为L的全体单点集;φ_D:范畴COM_D(对象为完备格,态射保任意交、有向并)→SET,φ_D(L)为L的全体有向集;φ_c:范畴COM_c(对象为完备格,态射保任意交、并)→SET,φ_c(L)为L的幂集P(L)。诸如此类的函子,我们给出定义如下:     

否定非对合剩余格上的BF-同余关系

为了进一步深入研究否定非对合剩余格的结构特征,引入否定非对合剩余格上的BF-同余关系概念并考察其性质.讨论了否定非对合剩余格L上的BF-同余关系与BF-理想间的关系,基于L的BF-理想A诱导出了一个BF-同余关系Φ_A,证明了L在Φ_A下的商代数构成一个剩余格.     

条件交半格中的相对极大滤子

引入偏序集的相对极大滤子的概念,证明在任意条件交半格中一个滤子是相对极大滤子当且仅当它是滤子格的完全交不可约元.一个格是分配的当且仅当每一个相对极大滤子都是素滤子.随后研究了Heyting代数中相对极大滤子的刻画,最后定义和研究了完全并既约生成格.     

平衡伪补Ockham代数的滤子及其同余关系

一个平衡伪补Ockham代数是代数(L;∨,∧,f,*,0,1),其中(L;f)是Ockham代数,(L;*)是伪补p-代数,且一元运算f和*满足条件(x∈L)f(x*)=x**及[f(x)]*=f2(x)。描述了平衡伪补Ockham代数L的滤子及其同余关系的性质,证明了L的*-滤子格与其核理想格同构。