Fuzzy蕴涵代数的素犹豫模糊滤子及其谱空间

运用犹豫模糊集和拓扑学的方法及原理对Fuzzy蕴涵代数的滤子问题做深入研究。首先,引入Fuzzy蕴涵代数的素犹豫模糊滤子概念并考察其性质特征,建立并证明了并半格Fuzzy蕴涵代数的素犹豫模糊滤子定理;其次,在一个给定的Fuzzy蕴涵代数(X,→,0)的全体素犹豫模糊滤子之集PHFil(X)上构造了一个拓扑τ,获得拓扑τ的一个基,证明拓扑空间(PHFil(X),τ)是T₀空间。     

格蕴涵代数中多重模糊正关联滤子的研究

在剩余格蕴涵代数中,首先提出了多重模糊正关联滤子的概念,研究了其性质.然后,讨论了多重模糊正关联滤子与模糊滤子、多重模糊正关联滤子与多重正关联滤子、多重模糊正关联滤子与多重模糊关联滤子,及多重模糊正关联滤子与多重模糊正关联滤子的格蕴涵同态像之间的关系.     

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

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

MTL代数中的布尔滤子和正蕴涵滤子

在MTL代数中,给出布尔滤子的几种等价刻画,提出了正蕴涵滤子和固执滤子的概念,讨论了它们的一些基本性质,得到几类滤子之间及相互转化的关系。证明在满足正则性的MTL代数中,布尔滤子和正蕴涵滤子相互等价,超滤和固执滤子相互等价。     

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

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

赋范Fuzzy蕴涵代数

运用泛函分析的方法和技巧考虑非经典数理逻辑问题,首先引入赋范Fuzzy蕴涵代数及蕴涵距离的概念,并给出它们的若十性质;其次对赋范Fuzzy蕴涵代数中的序列和蕴涵开(闭)球进行研究.证明了:①每一半径不小于球心范数的蕴涵开(闭)球都是MP滤子;②每个收敛序列都有唯一的极限;③每个收敛序列都是Cauchy列;④如果一个Cauchy列{xn}的某个子列收敛于点x,则该Cauchy列本身也收敛于点x.     

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

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

剩余格中的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)等结论.     

Fuzzy蕴涵代数上的一致结构及诱导拓扑

为了探寻Fuzzy蕴涵代数的拓扑特征和揭示逻辑代数与拓扑学之间的内在联系,利用Fuzzy蕴涵代数上的同余关系概念和对有限交关闭的MP滤子族构造了一个一致结构,从而诱导出一个拓扑。讨论了该一致结构和相应诱导拓扑的性质。     

Luk-Lindenbaum代数中的*滤子

从*运算出发定义了*滤子,利用格论的相关知识,对公式子集D(Γ)进行研究。主要结果是:(1)Luk-Lindenbaum代数F(S)／～中的*滤子都是〈D(Γ)〉形式的;(2)*滤子与MP滤子一致,都是通常意义下的滤子;(3) F(S)／～中的极大*滤子与通常意义下的极大滤子是一致的。     

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

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

蕴涵格的正规MP滤子与素滤子

在蕴涵格上定义了MP-滤子、生成滤子、正规MP-滤子与素滤子的概念,研究了它们的特征性质,讨论了正规MP-滤子和MP-滤子之间的关系,得到正规MP-滤子是MP-滤子的结论,证明了蕴涵格的素滤子定理。它们是R0-代数或MV-代数上相应滤子的性质的共同特征。     

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

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

n级交换BCK—代数

本文引进n级交换BCK—代数的概念,它是交换BCK—代数概念的推广,讨论了它与几种特殊类型的BCK—代数之间的关系,证明当n≥2时,n级交换BCK—代数类不构成一个簇。     

IMTL逻辑代数的一种新强化形式

对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL＊-代数,并通过实例证明了IMTL＊-代数结构的存在性;其次,构造了一个非IMTL＊-代数的IMTL-代数,说明了IMTL＊-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL＊-代数的一些等价刻画;最后,给出了IMTL＊-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。     

R0代数公理系统的简化与独立性

研究了一类重要的模糊逻辑代数系统－－R0代数，给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系，讨论了R0代数公理系统的简化问题，得到R0代数的两个特征定理，并证明了这两个特下定理中条件的独立性，由此得到R0代数两个独立的公理系统，研究结果表明，R0代数类和弱R0代数类都构成代数簇，即等式代数类，因而这两个代数类关于子代数、同态像以及直积是封闭的。