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

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

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

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

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

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

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

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

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

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

EQ-代数上的(α,β]-模糊前滤子

提出了EQ-代数上(α,β]-模糊前滤子的概念,并进一步定义了(α,β]-模糊正蕴涵前滤子、(α,β]-模糊蕴涵前滤子,研究了这些广义模糊前滤子的相关性质以及它们的等价刻画,讨论了三者之间的关系,丰富了EQ-代数上的模糊滤子理论。     

FI代数的模糊软滤子

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

Heyting代数的扩张模糊滤子

运用代数学与模糊集的方法和原理对Heyting代数的模糊滤子理论作进一步深入研究。引入了Heyting代数(H,≤,→)的模糊滤子f关于H上模糊子集μ的扩张模糊滤子和不变模糊滤子概念,获得了扩张模糊滤子和不变模糊滤子的若干性质。建立了扩张模糊滤子和生成模糊滤子间的关系,并利用这一关系给出了扩张模糊滤子在格结构研究中的应用,证明了一个Heyting代数(H,≤,→)的全体模糊滤子之集FFil(H)的3个特殊子集关于模糊集合包含序都构成完备Heyting代数。     

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

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

滤子化软FI代数

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

滤子化软FI代数

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

非交换剩余格上的n重PMTL滤子及其刻画

滤子理论在多值逻辑及其相关代数的研究中起到非常重要的作用.在非交换剩余格上引入n重PMTL滤子的概念,给出这类滤子的一系列刻画.提出n重PMTL代数的定义,从n重PMTL滤子的角度证明n重PMTL代数的若干特征定理,并引入n重素滤子的概念,得到n重PMTL代数的另一种刻画.     

BR0代数中的模糊布尔滤子

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

Heyting代数的模糊滤子格

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

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

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

BR0代数的次极大 滤子

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

BCI-代数的直觉模糊滤子

引入BCI-代数的直觉模糊滤子的概念,刻划一些重要的结论.同时,举例说明BCI-代数的直觉模糊理想不必是直觉模糊滤子.     

BCI-代数的滤子

引入了BCI-代数的滤子的概念,讨论了滤子的性质,得到了它与BCK-部分和极小元的分支的关系,还给出了滤子、理想和子代数之间的关系,说明了结合和p-半单BCI-代数中滤子的特性,BCI-代数的滤子与理想具有同等重要的意义.     

格蕴涵代数的不分明化滤子

利用一元模糊谓词逻辑和连续格值逻辑语义方法来发展格蕴涵代数的不分明化滤子。引入格蕴涵代数的不分明化滤子的概念,讨论其相关性质,研究了在格蕴涵同态映射下格蕴涵代数的不分明化滤子的象与原象之间的关系。     

量子B-代数的粗糙性（英文）

不确定性理论有广泛的应用和重要的影响。文章将不确定性理论中的粗糙集理论应用到量子B-代数中。考虑了（线性序）量子B-代数的粗糙子代数，证明了量子B-代数上的子代数是粗糙子代数。然后，研究了格序量子B-代数的粗糙正规q-滤子。证明了量子B-代数上正规q-滤子是粗糙正规q-滤子。为了研究格序的量子B-代数，借助单位元将量子B-代数分为三类，给出了并和交运算的具体形式。研究了格序量子B-代数上粗糙正规q-滤子的同态像。此外，将粗糙集理论应用于一类特殊的量B-代数—CKL-代数中，通过选择合适的蕴含算子，证明了粗糙集代数是CKL-代数。最后，将粗糙软集理论应用在量子B-代数上，给出了一个量子B-代数上的决策算法。