剩余格上的α-交软滤子

赋予剩余格作为参数集,提出了剩余格上的α-交软滤子的概念,给出一些刻画和软集交运算下的性质。进一步,剩余格上的α-交软同余关系和α-交软滤子的关系被研究。特别是,当X=α时,证明了SFil(L)(剩余格上交软滤子α-交软滤子的全体)和Scon(L)(剩余格上交软滤子α-交软同余关系的全体)是完备格同构的。最后,得到了剩余格上的α-交软滤子像与原像的性质。     

基于可交换剩余格上的几类n-重模糊滤子及其性质

运用模糊集的方法和原理,在剩余格中引入了n-重模糊蕴涵滤子,n-重模糊极滤子和n-重模糊布尔滤子的概念,通过研究它们的特征及性质,证明了剩余格上这几类n-重模糊滤子之间的关系,获得了这几类模糊滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的模糊滤子理论,并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

相似剩余格及其对应逻辑系统的完备性

引入了相似剩余格的概念,讨论了剩余格上相似算子和等价算子的关系,并得到了真值剩余格和相似剩余格相互转化的方法.其次,研究了相似剩余格上的相似滤子,利用相似滤子刻画了可表示的相似剩余格.最后,引入了相似剩余格对应的逻辑系统,证明了其完备性定理,并得到了其成为半线性逻辑的条件.     

剩余格的模糊滤子理论

运用模糊集的方法和原理进一步深入研究剩余格的滤子问题.在剩余格中引入了模糊预线性滤子,模糊可除滤子和模糊Glivenko滤子三类新的模糊滤子概念,给出了它们的若干性质和等价刻画.系统讨论了这三类模糊滤子以及模糊正关联滤子,模糊Boolean滤子,模糊MV滤子和模糊正则滤子间的相互关系,证明了一个模糊滤子为模糊MV滤子当且仅当它既是模糊正则滤子又是模糊可除滤子的结论.     

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剩余格的一个条件。     

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

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

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

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

剩余格上的n-维模糊滤子

在剩余格上提出n-维模糊滤子,n-维模糊EIMTL-滤子和n-维模糊t-滤子概念并研究它们的一些性质。给出n-维模糊滤子,n-维模糊EIMTL-滤子和n-维模糊t-滤子的一些等价刻画。证明了n-维模糊集f是n-维模糊滤子(n-维模糊EIMTL-滤子,n-维模糊t-滤子)当且仅当对任意的λ∈[0,1],fλ是1-维模糊滤子(1-维模糊EIMTL-滤子,1-维模糊t-滤子)。此外,得到了剩余格上n-维模糊Divisible滤子和n-维模糊Strong滤子的等价刻画。     

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

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

非交换剩余格上模糊滤子的等价刻画

运用区间模糊集的概念和方法,在非交换剩余格上引入了模糊极滤子和模糊弱蕴涵滤子的概念,并获得了非交换剩余格上模糊极滤子与模糊弱蕴涵滤子相互等价的条件。研究结果拓展了非交换剩余格上的模糊滤子理论,也为研究非经典逻辑系统的结构奠定了理论基础。     

区间集上非交换剩余格的〈∈,∈凵 Q〉-fuzzy布尔滤子特征表示定理

基于区间集思想、滤子理论、广义布尔代数与Boole格,引入区间集上非交换剩余格fuzzy布尔滤子和区间集上非交换剩余格的〈∈,∈凵 Q〉-fuzzy布尔滤子的概念,讨论了〈∈,∈凵 Q〉-fuzzy布尔滤子的等价性特征表示定理。     

强并半格中的C-滤子及其应用

首先,在并半格中引入了上覆盖关系的概念以及由上覆盖关系确定的强并半格中的上覆盖概念,在强并半格中讨论了它们的基本性质;其次,通过上覆盖概念在强并半格中引入了C-滤子概念,证明了强并半格中的C-滤子是通常滤子,但强并半格中的通常滤子并非C-滤子;最后,研究了强并半格同态和余Frame同态之间的关系,证明了余Frame S与相应的C_S-滤子型余Frame之间的同构定理.     

剩余格的粗滤子

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

无限格与其非标准扩张

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

IMTL代数上的素布尔滤子格

本文研究IMTL代数M上的索布尔滤子的运算性质。令FB（M）为膨上全体素布尔滤子集，FB（M）=FB（M）∪{φ}，通过在集合FB（M）引进格并、交运算和逆序对合对应，证明了FB（M）构成一个拟布黎代数。进一步在FB（M）可定义一个伴随对，证明FB（M）也构成一个剩余格。     

FI-格上的导子

在FI-格上引入了导子,研究了FI-格上导子的性质,给出了导子的等价刻画。定义并研究了保序、幂等导子,并讨论了保序导子与闭包算子之间的关系。给出了FI-格上导子不动点之集的概念,证明了可换FI-格上的保序导子的不动点之集为格滤子,并给出FI-格上导子不动点之集的等价刻画。这些结果推广和丰富了基于剩余格的逻辑代数上的导子理论。     

伪对合剩余格(非可换)与伪效应代数(英文)

提出伪对合剩余格(非可换)的概念。通过在伪效应代数中引入两个部分运算,研究了伪对合剩余格与格伪效应代数之间的自然关系,证明了以下结论:在一定条件下,一个格伪效应代数可被扩张成为一个伪对合剩余格,同时一个伪对合剩余格可被限制为一个格伪效应代数。特别地,得到伪对合剩余格成为具有Riesz分解性质的格伪效应代数的一个充要条件。最后,还讨论了伪效应代数与剩余格的理想与滤子理论。     

剩余格上的L滤子

剩余格为模糊逻辑和模糊推理提供了一种良好的代数结构,滤子是剩余格中一个十分重要的概念,它在基于剩余格的模糊逻辑代数语义的研究中,扮演着一个关键的角色。本文基于Pavelka所提出的广义MP规则和真值提升规则,研究基于这两种推理规则的演绎系统的代数化问题。引入L滤子的概念,讨论这些滤子之间的关系,并给出它们的一些代数刻画。     

幂等剩余格

研究一种特殊的刺余格--幂等刺余格,证明满足幂等性的一般刺余格必是可换剩余格,即不存在非可换的幂等剩余格.讨论幂等剩余格的基本性质以及与各类特殊剩余格之间的关系.在一般剩余格中引入psG-滤子的概念,给出其一组等价条件,并借助psG-滤子刻画幂等刺余格的特征.     

Fuzzy蕴涵代数的MP滤子

给出了Fuzzy蕴涵代数(简称FI代数)上的MP滤子的等价刻画和由非空子集生成的MP滤子的表示定理; 探讨了FI代数的MP滤子与偏序滤子之间的关系; 证明了一个FI代数上全体MP滤子之集在集合包含序下构成一个分配连续(代数)格,从而构成一个Frame.