泛逻辑学中UB代数系统的fuzzy滤子

文献[2]给出了理想状态下泛逻辑学的形式演绎系统!,证明了此系统是可靠的。文献[3]提出了在理想状态(h=k=0.5)下泛逻辑学对应的代数系统-UB代数。文献[5]研究了泛逻辑学中UB代数系统的若干性质。在文献[3,5]的基础上,进一步讨论了UB代数fuzzy滤子与商代数。     

泛逻辑学中UB代数系统的滤子与商代数

给出了理想状态下泛逻辑学的形式演绎系统,证明了此系统是可靠的。提出了在理想状态（h=k=0.5）下泛逻辑学对应的代数系统-UB代数,进一步讨论了UB代数滤子与商代数,得到一些有用的结果。     

泛逻辑学中UB代数系统的若干性质

文[1]提出了理想状态（h=k=0.5）下泛逻辑学对应的代数系统-UB代数,给出了它的一些性质。在[1]的基础上,进一步讨论了UB代数系统,得到一些有趣的结果,这些结果对UB代数的进一步研究是有用的。     

格蕴涵代数的(∈,∈∨q（λ,μ）)-模糊素滤子

将((∈,∈∨q_（λ,μ）))-模糊代数应用于格蕴涵代数,提出了点态化((∈,∈∨q_（λ,μ）))-模糊素滤子和（λμ）-模糊素滤子的概念,并从以下几个方面对((∈,∈∨q_（λ,μ）))-模糊素滤子进行了详细的研究:讨论了((∈,∈∨q_（λ,μ）))-模糊素滤子和（λμ）-模糊素滤子的等价关系;研究了((∈,∈∨q_（λ,μ）))-模糊素滤子的相关性质;得到了特定条件下((∈,∈∨q_（λ,μ）))-模糊素滤子的若干等价刻画,建立了((∈,∈∨q_（λ,μ）))-模糊素滤子的扩张定理;探讨了((∈,∈∨q_（λ,μ）))-模糊素滤子的同态像与同态原像。     

剩余格上的(∈,∈∨q)-模糊滤子

在剩余格上引入了(∈,∈∨q)-模糊滤子的概念,初步讨论了它的一些性质和等价条件,与之对应地讨论了(∈,∈∨q)-模糊滤子的性质,最后得到模糊滤子、(∈,∈∨q)-模糊滤子和(∈,∈∨q)-模糊滤子之间的关系。     

BR0代数的关联MP滤子和布尔MP滤子

引入BR0代数的关联胛滤子。研究它的特征,证明如下主要结果：F是关联脚滤子,当且仅当F是布尔仰滤子。从而BR0代数成为Boole代数的充要条件是每个胛滤子均为布尔胛滤子或关联肿滤子。     

BR0代数的关联MP滤子和布尔MP滤子

引入BR₀代数的关联MP滤子。研究它的特征,证明如下主要结果：F是关联MP滤子,当且仅当F是布尔MP滤子。从而BR₀代数成为Boole代数的充要条件是每个MP滤子均为布尔MP滤子或关联MP滤子。     

Z-蕴涵代数的Fuzzy Z-滤子

研究了Z-蕴含代数的Z滤子、fuzzy Z-滤子、fuzzy关联、Z滤子等,并得到一些有趣的结果。     

关于Ⅳ-(∈,∈∨q)模糊格蕴涵子代数

运用区间值模糊集的思想对Ⅳ-(∈,∈∨q) -模糊格蕴涵子代数概念作进一步研究.给出了Ⅳ-(∈,∈∨q)-模糊格蕴涵子代数的若干新的性质与刻画;获得了Ⅳ-(∈,∈∨q) -模糊格蕴涵子代数的象与原象成为Ⅳ-(∈,∈∨q) -模糊格蕴涵子代数的条件;讨论了Ⅳ-(∈,∈∨q) -模糊格蕴涵子代数的直积特征.     

格蕴涵代数的（∈,∈∨q（λ,μ）-模糊滤子

给出了点态化（∈,∈∨q（λ,μ））-模糊滤子和广义模糊滤子的概念,讨论了两者之间的等价关系;得到了（∈,∈∨q（λ,μ））-模糊滤子的若干等价刻画,并研究了其相关性质;讨论了（∈,∈∨q（λ,μ））-模糊滤子的同态像与同态原像的基本性质;最后研究了（∈,∈∨q（λ,μ））-模糊滤子的直积。     

Fuzzy蕴涵代数的正则滤子

在Fuzzy蕴涵代数中引入正则滤子的概念并讨论其性质。获得了正则滤子的若干等价刻画。深入考察了正则滤子与其他类型的滤子之间的关系,证明了一个非空集合是正关联滤子当且仅当它既是关联滤子又是正则滤子的结论。     

基础R0_代数的正规MP-滤子和布尔MP-滤子

BR0-代数是MV-代数和R0-代数的共同基础,论文引入了BR0-代数的正规MP-滤子和布尔MP-滤子,讨论了他们之间的关系,给出它们的特征性质,并且给出了刻画正规BR0-代数的特征定理。     

Fuzzy蕴涵代数的区间值fuzzy滤子

将Zadeh提出的区间值fuzzy集的概念应用于Fuzzy蕴涵代数（简称FI代数）,提出了FI代数的区间值fuzzy滤子概念并研究其性质。给出了区间值fuzzy集成为区间值fuzzy滤子的两个充要条件;讨论了区间值fuzzy滤子与MP滤子以及fuzzy滤子间的关系;定义了区间值fuzzy滤子的象与原象,获得了它们成为区间值fuzzy滤子的条件。     

BCK-代数的广义(∈,∈∨q)-模糊蕴涵理想

为推广BCK-代数的(∈,∈∨q)-模糊蕴涵理想,引入了(∈,∈∨q_k)-模糊蕴涵理想的概念,研究了相关性质;指出了模糊蕴涵理想和(∈,∈∨q)-模糊蕴涵理想都是(∈,∈∨q_k)-模糊蕴涵理想,反之不然;给出了BCK-代数的模糊子集成为(∈,∈∨q_k)-模糊蕴涵理想的条件;证明了(∈,∈∨q_k)-模糊蕴涵理想都是(∈,∈∨q_k)-模糊理想,用实例说明其逆命题不真;给出了(∈,∈∨q_k)-模糊蕴涵理想的若干等价刻画,讨论了BCK-代数的基于蕴涵的模糊蕴涵理想。     

格蕴涵代数的软滤子

借助软集合,提出了格蕴涵代数的软滤子的概念,研究了其在软集运算下的一些基本性质,并给出了格蕴涵代数的软滤子的一些等价刻画。进一步,研究了格蕴涵代数的软滤子与格蕴涵代数的对偶软格理想之间的关系。得到了格蕴涵代数的软滤子像与原像的性质。     

效应代数的T-模糊滤子

研究了效应代数上的[T-]模糊滤子的一些问题。利用水平截集及范数的方法获得了一些相关的结果,推广了效应代数模糊滤子的一些结果,得到存在一个映射使得效应代数的所有[T-]模糊滤子与这个效应代数的[T-]同余关系对应的结论。     

剩余格上的(∈,∈vq)-模糊滤子

在剩余格上引入了(∈,∈vq)-模糊滤子的概念,初步讨论了它的一些性质和等价条件,与之对应地讨论了((∈)(∈),vq)-模糊滤子的性质,最后得到模糊滤子、(∈,∈vq)-模糊滤子和((∈),(∈)vq)-模糊滤子之间的关系.     

理想状态下泛逻辑的形式演绎系统B的完备性

UB代数是理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑的代数系统。本文引入UB代数滤子的概念,讨论了UB代数的一系列性质。证明了理想状态下泛逻辑形式演绎系统B的完备性与强完备性。     

BR0代数的犹豫模糊滤子与理想

将犹豫模糊集应用于[BR0]代数的滤子和理想理论中,初步建立[BR0]代数的犹豫模糊滤子与理想理论。引入了[BR0]代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想的概念,研究它们的基本性质,给出了[BR0]代数的犹豫模糊集成为犹豫模糊滤子（犹豫模糊理想）的条件,证明了[BR0]代数的犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想关于交运算具有封闭性,指出了犹豫模糊滤子、犹豫模糊理想和犹豫模糊素理想在[BR0]代数同构下的不变性。     

KU代数上的(∈,∈∨q_((λ,μ)))-模糊正关联理想

给出了KU代数的点态化(∈,∈∨q_((λ,μ)))-模糊正关联理想与广义模糊正关联理想的概念,得到了KU代数的(∈,∈∨q_((λ,μ)))-模糊正关联理想的一些等价刻画,并指出了(∈,∈∨q_((λ,μ)))-模糊正关联理想有丰富的层次结构;其次得到了多个KU代数的(∈,∈∨q_((λ,μ)))-模糊正关联理想的交、并、同态像和同态原像(在一定条件下)也是(∈,∈∨q_((λ,μ)))-模糊正关联理想;而后又对KU代数(∈,∈∨q_((λ,μ)))-模糊正关联理想的直积以及投影进行了研究;最后给出KU代数的正关联理想的降(升)链条件的新概念,并利用(∈,∈∨q_((λ,μ)))-模糊正关联理想的性质研究了KU代数的正关联理想的降(升)链条件。