BR0代数中的次极大×滤子

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

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

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

R0代数中的模糊正规滤子

在R₀代数中引入模糊正规滤子的概念,给出其充要条件,得到了模糊正规滤子的扩张性质,讨论了模糊正规滤子与模糊滤子、截集之间的关系,最后,用模糊正规滤子刻画了正规R₀代数M和正规商R₀代数M/f。     

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

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

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

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

伪BL-代数的犹豫模糊滤子

提出了伪BL-代数的犹豫模糊滤子的概念，给出它的几个等价刻画，并研究了它的一些性质。进一步，引入了伪BL-代数的几种犹豫模糊滤子，如犹豫模糊Boolean滤子、犹豫模糊正规滤子、犹豫模糊超滤子和犹豫模糊固执滤子，讨论了它们的一些刻画，给出了其间的一些关系。通过研究伪BL-代数中犹豫模糊Boolean滤子与犹豫模糊正规滤子的关系，解决了伪BL-代数中是否每个Boolean滤子都是正规滤子这样一个开问题。     

R0代数中的正蕴涵MP滤子和固执MP滤子

在R0代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

正则FI代数的MP滤子与同构基本定理

正则FI-代数是仅基于蕴涵算子在一般集合上建立的逻辑代数,它是[BR0]-代数和BL-代数的基础逻辑代数。基于经典代数的思想和方法,讨论了正则FI-代数的MP滤子与同构基本定理。引入正则FI-代数中MP滤子的概念,并讨论了其基本性质,给出了正则FI-代数中包含任意子集的最小MP滤子的构造方法;讨论了正则FI-代数的MP滤子和同余关系之间的内在联系;给出了正则FI-代数的同构基本定理。     

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

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

BL-代数上的几种直觉模糊滤子

结合直觉模糊集和滤子理论,对BL-代数上的直觉模糊滤子进行了研究。首先回顾了BL-代数和直觉模糊集的有关基础知识。然后引入BL-代数上的直觉模糊滤子、直觉模糊格滤子、直觉模糊布尔滤子和直觉模糊蕴涵滤子的概念,讨论了它们的一系列重要性质,证明了直觉模糊滤子与直觉模糊格滤子、直觉模糊布尔滤子和直觉模糊蕴涵滤子是等价的,并用实例进行了验证。最后探讨了直觉模糊滤子和模糊滤子的关系。     

非交换BR0-代数与其上的Quantale

提出非交换BR₀-代数的概念,然后讨论了在完备非交换BR₀-代数和完备BR₀-代数上的Quantale性质,最后得出完备Boole代数、完备MV代数、完备R₀-代数以及完备BR₀-代数都是可换的Girard quantales的结论。     

粗糙集代数与BR0代数

讨论粗糙集代数与脓。代数的关系,以及由粗糙集代数构造BR0代数的方法。借助近似代数的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为BR0代数。     

R0代数中的正蕴涵MP滤子和固执MP滤子

在R₀代数中,给出布尔MP滤子的几种性质特征。提出正蕴涵MP滤子和固执MP滤子的概念,讨论了它们的一些性质定理。证明正蕴涵MP滤子与布尔MP滤子等价,固执MP滤子与MP超滤等价,同时也讨论了正蕴涵MP滤子和固执MP滤子的关系。     

三值乘积逻辑系统Π3中的随机化研究

利用赋值集的随机化方法,在三值乘积逻辑∏₃提出了公式的随机真度,证明了所有公式的随机真度之集在[0,1]中没有孤立点;给出了两公式间的D_∏3-相似度与伪距离的概念,并建立了D_∏3-逻辑度量空间,证明了此空间没有孤立点。     

基于蕴涵算子族L-λ-R0的模糊推理α-三I约束算法

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型及FMT模型的α-三I约束算法。     

参数LP系统的三I算法与α-三I算法

给出了连续三角模族T_(p-L)及其伴随蕴涵算子族R_(p-L)的定义,并且给出了逻辑系统LP的定义;证明了逻辑系统LP与逻辑系统L的等价性,在此基础上给出了基于蕴涵算子族R_(p-L)的三I算法与α-三I算法。     

基于含参数蕴涵算子族L-λ -R0的三I支持算法 ——仅就FMP模型进行讨论

提出了基于蕴涵算子族L-λ-R₀的模糊推理的思想,这将有助于提高推理结果的可靠性。针对蕴涵算子族L-λ-R₀给出了模糊推理的FMP模型的三I支持算法、α-三I支持算法。