Heyting代数的模糊滤子格

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

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

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

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

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

BCI-代数的直觉模糊滤子

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

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

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

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

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

次BL代数的推理系统

基于Esko Turnner对BL代数的系统研究，引入了次BL代数的概念，并给出了次BL代数的实例，在次BL代数中建立了一种广泛的推理系统，研究表明，R0代数、Lukasiewicz结构、Goedel结构等均可纳入次BL代数理论之中。     

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

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

R_0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间（M,TM）,给出了导集、闭包以及内部的计算公式。证明了（M,TM）是连通的、覆盖紧的且满足第一可数性公理;（M,TM）满足第二可数性公理当且仅当主滤子之集是可数集,（M,TM）不是T1的,不是T2的,也不是正则的或正规的;（M,TM）是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

BL代数的(∈，∈∨q))-模糊滤子格

对BL代数的(∈,∈∨q))-模糊滤子理论作进一步深入研究。给出了(∈,∈∨q))-模糊滤子的若干新性质,定义了由BL代数上的一个模糊集生成的(∈,∈∨q))-模糊滤子并建立了其表示定理,证明了BL代数的全体(∈,∈∨q))-模糊滤子之集构成一个完备的分配格。     

BL-代数的v-滤子

将Vague集理论与BL-代数的滤子理论相结合,提出了BL-代数的v-滤子的概念,研究了BL-代数的v-滤子的性质以及若干等价刻画,最后研究了BL-代数的v-滤子与滤子之间的关系.     

剩余格中的Fuzzy(P)滤子

在剩余格中引入了Fuzzy(P)滤子的概念,得到A是Fuzzy(P)滤子的充要条件是当λ∈[0,1]且Aλ≠时,Aλ是(P)滤子;在正则剩余格中引入了素Fuzzy(P)滤子的概念,证明了正则剩余格中的Fuzzy(P)滤子A是素Fuzzy(P)滤子的充要条件为a、b∈L,A(a b)=A(a)∨A(b)等结论.     

次BL代数的修正及其应用

次BL代数是多个重要逻辑代数的理论基础，文章对次BL代数作了进一步的深入研究，得到了一些很好的结论，其主要结果有：1）简化了次BL代数的定义；2）给出了次BL代数的另外两种等价形式，进一步揭示了次BL代数与其他逻辑代数之问的关系；3）证明了一种强次BL代数与BR0代数之间的等价关系。并以次BL代数为基础蛤出了BR0代数和R0代数的简化定义，改进了已有的结果。     

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

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

BL-代数的严格滤子

引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是Godel代数。揭示了严格滤子与整滤子、素滤子等的关系。     

Ω-滤子的一个等价刻画

对滤子公理进行重新解释,给出了文献[1]引入的Ω-滤子的一个等价刻画。     

MTL代数的性质及其滤子

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

基于非交换剩余格的模糊蕴涵滤子及其性质

对非交换剩余格的结构作了进一步研究。结合模糊数学的思想和方法, 在非交换剩余格上引入了模糊滤子,讨论了模糊滤子与分明滤子之间的关系; 并且在模糊滤子的基础上引入了模糊蕴涵滤子和模糊正蕴涵滤子的概念, 并讨论其基本性质,给出了模糊蕴涵滤子和模糊正蕴涵滤子的等价刻画, 证明了模糊正蕴涵滤子一定是模糊蕴涵滤子, 模糊蕴涵滤子和模糊正蕴涵滤子在一定条件下是等价的。     

R0-代数上的滤子拓扑空间

在R0-代数M上以全体MP滤子之集为拓扑基建立了一个滤子拓扑空间(M,TM),给出了导集、闭包以及内部的计算公式。证明了(M,TM)是连通的、覆盖紧的且满足第一可数性公理;(M,TM)满足第二可数性公理当且仅当主滤子之集是可数集,(M,TM)不是T1的,不是T2的,也不是正则的或正规的;(M,TM)是T0空间当且仅当M是Boole代数。最后讨论了积R0-代数上的积空间。     

BL-代数的严格滤子

引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是G¨odel代数。揭示了严格滤子与整滤子、素滤子等的关系。