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

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

格蕴涵代数的区间值(J)-模糊滤子理论

将区间值模糊集和D[0,1]上的t-模(J)应用于格蕴涵代数的滤子理论,引入格蕴涵代数的区间值,(J)-模糊(关联、正关联)滤子的概念,给出了它们的等价刻画,研究了它们之间的关系.     

EQ代数的(λ,μ)直觉模糊偏滤子

在EQ代数和直觉模糊集理论的基础上,首先引入了EQ代数上(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏截滤子的定义,讨论了它们的性质以及等价刻画;其次研究了EQ代数上(λ,μ)直觉模糊偏滤子的生成及结构;最后得到了(λ,μ)直觉模糊偏滤子是有界格而并非多格的结论.     

剩余格的模糊滤子理论

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

剩余格上的α-交软滤子

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

有界Rl-幺半群的犹豫模糊滤子北大核心

将犹豫模糊集应用到有界剩余格序幺半群(Rl-幺半群)中,引入有界Rl-幺半群的犹豫模糊滤子的概念,研究其相关性质。获得了犹豫模糊滤子的一些等价刻画,建立了犹豫模糊滤子与其水平滤子之间的关系。讨论了犹豫模糊集成为犹豫模糊滤子的条件,给出了由一个给定犹豫模糊集生成的犹豫模糊滤子的表达式。     

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

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

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

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

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

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

正则剩余格的(α,β),(■,■∨),(∈,∈∨q_(λ,μ))-模糊理想

在正则剩余格上引入(α,β)-模糊理想的概念,讨论了它们的一些特征及其间的关系;与(∈,∈∨q)-模糊理想对应地研究了(■,■∨)-模糊理想的性质;最后将正则剩余格的(α,β)-模糊理想作进一步推广,得到有限个(λ,μ)-模糊理想的交集仍然是(λ,μ)-模糊理想,并刻画了(λ,μ),(∈,∈∨q_(λ,μ))-模糊理想的性质。     

Heyting-代数上的(λ,μ)直觉模糊偏滤子

把直觉模糊滤子和Heyting-代数相结合,分别给出直觉模糊偏滤子,(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏格滤子的定义,讨论所定义偏滤子的性质,得出(λ,μ)直觉模糊偏滤子具有交的不变性,最后证明了(λ,μ)直觉模糊偏滤子和(λ,μ)直觉模糊偏格滤子的等价关系。     

R0-代数的（λ,μ）-fuzzy滤子理论

利用模糊点与模糊集之间的属于关系(∈)和拟重合关系(q)在R0-代数中引入了(λ,μ)-fuzzy滤子的概念,其中λ和μ是集合{∈,q,∈∨q,∈∧q}中的任意元素且λ≠∈∧q,并讨论它们的性质和相互关系;获得(∈,∈∨q)-fuzzy滤子的若干等价刻画;给出(∈,∈∨q)-fuzzy滤子成为(∈,∈)-fuzzy滤子以及一个模糊集成为(q,∈∨q)-fuzzy滤子的条件。     

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

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

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

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

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

对BL代数的(∈,∈∨q)-模糊滤子理论作系统研究。首先,在BL代数中引入(∈,∈∨q)-模糊对合滤子和(∈,∈∨q)-模糊结合滤子两类新概念,获得了这两类(∈,∈∨q)-模糊滤子的几个等价刻画。其次,详细讨论了BL代数中各类(∈,∈∨q)-模糊滤子间的关系,证明了一个模糊集为(∈,∈∨q)-模糊布尔(关联)滤子当且仅当它既是(∈,∈∨q)-模糊正关联滤子又是(∈,∈∨q)-模糊对合滤子。最后,以直观图示的方式对BL代数中各类(∈,∈∨q)-模糊滤子间关系进行了总结。     

广义模糊子坡与(∈,∈V q(λ,μ))-模糊子坡

给出广义模糊子坡(理想)的概念,并探讨了一些相关性质,得到了她们的若干等价刻画;接着讨论了广义模糊子坡(理想)的同态原像、同态像及直积等,得到了一些有意义的结果;然后给出了广义模糊特征子坡(理想)的定义,得到了其等价刻画;最后给出了(∈,∈Vq(λ,μ))-模糊子坡(理想)的概念并对其进行了一些研究,揭示了(∈,∈V q(λ,μ))-模糊子坡(理想)与广义模糊子坡(理想)之间的关系.     

格蕴涵代数的superior滤子

从一个新的角度对格蕴涵代数的滤子理论作进一步研究。给定一个具有最小元的偏序集,提出了格蕴涵代数superior滤子和superior关联滤子的概念,研究了superior滤子的相关性质,给出了若干等价刻画。讨论了superior滤子和superior关联滤子相关关系。最后还得到了上确界关联滤子的一些等价刻画。     

效应代数的(η,γ]-模糊滤子

在Lu D L和Wang G J提出效应代数中模糊滤子(简称LW-模糊滤子)概念的富有成效的工作基础上,利用模糊点与模糊集的属于与重于关系给出了一种新的模糊滤子——(η,γ]-模糊滤子的定义,指出LW-模糊滤子、(∈,∈Vq)-模糊滤子和(∈,∈Vq)-模糊滤子是它的三个特例,获得了这些模糊滤子的等价刻画.     

剩余格上的L滤子

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

FI-格上的导子

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