Fuzzy蕴涵代数的滤子理论刘春辉1,2

在Fuzzy蕴涵代数中引入对合滤子和结合滤子的概念并研究它们的性质, 获得了这两类滤子的几个等价刻画; 讨论了Fuzzy蕴涵代数的对合滤子、结合滤子、关联MP滤子、正关联MP滤子和交换MP滤子间的关系, 证明了一个非空集合为正关联MP滤子当且仅当它既是对合滤子又是交换MP滤子。     

剩余格上n-重正蕴涵滤子的特征及刻画

在剩余格上引入了两类滤子——n-重蕴涵滤子和n-重正蕴涵滤子, 研究它们一系列的特征及性质,得到了剩余格上的非空子集F成为n-重蕴涵滤子和n-重正蕴涵滤子的充要条件,以及 这两类滤子之间相互等价的充要条件。研究结果进一步拓展了剩余格上的滤子理论, 并为其在代数逻辑及计算机信息处理等方面的应用奠定了理论基础。     

剩余格上n-重滤子的特征及结构

在剩余格中引入和讨论了n-重蕴涵滤子、n-重极滤子、n-重正蕴涵滤子和n-重布尔滤子的概念及特征性质,证明了剩余格上这几类n-重滤子之间相互转化的充要条件,研究结果拓展了剩余格上的滤子理论,并使剩余格上n-重滤子概念间的层次关系更加清晰和完善。     

剩余格上几类n-重模糊滤子的相互关系

运用模糊集的方法和原理,通过在剩余格中引入n-重模糊蕴涵滤子、n-重模糊极滤子、n-重模糊正蕴涵滤子和n-重模糊Boole滤子的概念,得到了剩余格上这几类n-重模糊滤子之间的关系,并证明了剩余格上n-重模糊正蕴涵滤子和n-重模糊Boole滤子相互等价.     

格蕴涵代数中的直觉模糊关联滤子

在格蕴涵代数关联滤子研究成果的基础上,将直觉模糊集理论与格蕴涵代数的关联滤子的结构及性质相结合,给出了格蕴涵代数中的直觉模糊关联滤子的定义,讨论了格蕴涵代数中直觉模糊滤子和直觉模糊关联滤子之间的关系,证明了在格蕴涵代数中直觉模糊关联滤子是直觉模糊滤子.同时,文中还研究了直觉模糊关联滤子的一些代数性质.     

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

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

FI代数的（正规）MP滤子与MP理想

给出了Fuzzy蕴涵代数的MP滤子的性质和等价刻画;讨论了(正则)Fuzzy蕴涵代数中MP滤子与MP理想、正规MP滤子与正规MP理想的关系.证明了在正则FI代数中,一个子集是(正规)MP理想当且仅当它的对偶是(正规)MP滤子.构造反例说明在一般FI代数中MP理想和MP滤子不必对偶.     

MTL代数的性质及其滤子

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

BR0代数中的模糊布尔滤子

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

剩余格蕴涵代数中n-重素滤子的研究

在剩余格蕴涵代数中,提出了n-重素滤子的概念,并研究了它的性质.讨论了n-重素滤子与关联滤子、n-重素滤子与素滤子、n-重素滤子与准素滤子和对不同的自然数n,n-重素滤子之间的关系.最后,得到了在格H蕴涵代数中,n-重素滤子与素滤子等价和n-重素滤子与准素滤子等价的结论.     

Boole代数的等价刻画

目的给出Boole代数的等价刻画,揭示Boole代数和二值命题逻辑的另一种内在联系,使Boole代数更便捷地和其他代数联系。方法从二值逻辑的公理集入手,运用推理,证明,举例的方法进行了讨论。结果得出了Boole代数的等价刻画以及等价刻画中各条公理的独立性.并且利用等价刻画,讨论了Boole代数与其它代数的关系。结论Boole代数新定义的引入为进一步认识和研究Boole代数提供了新的途径。     

关于BCK／BCI－代数的几个等价公理系

分别给出ＢＣＫ－代数，蕴涵ＢＣＫ－代数，ＢＣＩ－代数及蕴涵ＢＣＩ－代数的一个等价公理系，说明了蕴涵ＢＣＩ－代数是蕴涵ＢＣＫ－代数的自然推广，亦说明了蕴涵性是“双Ｂ”代数的“固有属性”．     

关于弱关联BCI—代数

本文证明了弱关联BCI—代数必是弱可换的,建立了弱关联BCI—代数的一个结构定理:一个BCI—代数X是弱关联的当且仅当存在一个关联BCK—代数Y和一个p—半单BCI—代数Z使得X≌Y×Z。并讨论了弱关联、弱可换和弱正关联BCI—代数的关系。     

关联模糊集理论的伪BL-代数的软滤子

引入了基于模糊集的∈-软集和q-软集的概念,给出了一个∈-软集和q-软集为伪BL-代数的软(蕴涵)滤子的若干刻画. 利用伪BL-代数的(∈,∈∨q)-模糊 (蕴涵) 滤子的概念, 给出一个∈-软集为软(蕴涵)滤子的描述.     

R_0代数,MV代数的等价刻画

通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画.     

BCK-代数的模糊点正定关联理想(英文)

引入了BCK-代数的模糊点正定关联理想的概念,并给出了恰当的例子,给出了BCK-代数的模糊点理想与模糊点正定关联理想之间的关系;获得了BCK-代数的模糊点正定关联理想的若干等价条件,证明了模糊点正定关联理想(模糊点理想)在满同态下的逆象仍为模糊点正定关联理想(模糊点理想).