排序方式: 共有45条查询结果,搜索用时 15 毫秒
11.
将犹豫模糊集概念与FI代数的滤子和同余关系概念相结合,引入了FI代数的犹豫模糊滤子和犹豫模糊同余关系概念并研究它们的性质和相互关系.获得了FI代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.证明了当分别在CFI代数的全体犹豫模糊滤子集和全体犹豫模糊同余关系集上定义适当的序关系后,二者保序同构. 相似文献
12.
13.
刘春辉 《高校应用数学学报(A辑)》2014,(1)
运用模糊集及拓扑学的方法和原理对格蕴涵代数的LI-理想概念作进一步研究.首先,在格蕴涵代数中引入素模糊LI-理想的概念并讨论其性质特征及其与LI-理想的关系,建立了格蕴涵代数的素模糊LI-理想定理.其次,在格蕴涵代数L的全体素模糊LI-理想构成的集合PFLI(L)上构造了一个拓扑T,从而得拓扑空间(PFLI(L),T),称之为L的素模糊LI-理想谱空间,记为P F-Spec(L).考察了P FSpec(L)的若干拓扑性质.最后,在格蕴涵代数L的全体素LI-理想之集PLI(L)上定义了LI-拓扑TLI,证明了在一个格H蕴涵代数中拓扑空间(PLI(L),TLI)同胚于P FSpec(L)的一个Hausdor?子空间的结论. 相似文献
14.
Fuzzy蕴涵代数的素MP滤子 总被引:1,自引:0,他引:1
对Fuzzy蕴涵代数(简称FI代数)的滤子理论作深入研究.首先对由非空集合生成的MP滤子的性质作进一步探讨;然后引入素MP滤子的概念并讨论其基本性质,给出了素MP滤子的若干等价刻画,证明了并半格FI代数的素MP滤子定理;最后利用素MP滤子概念时满足条件(S)的并半格FI代数的MP滤子格((L)MP(X),(∩))中的素元进行刻画. 相似文献
15.
将区间值fuzzy集的概念应用于理想状态(广义相关系数h=0.5,广义自相关系数k=0.5)下泛逻辑学所对应的代数系统--UB代数,引入区间值(∈,∈Vq)-fuzzy滤子和区间值(∈,∈Vq)-fuzzy关联滤子的概念并研究它们的性质.获得了UB代数的这两类广义fuzzy滤子的若干等价刻画,证明了区间值(∈,∈Vq)-fuzzy关联滤子的扩张定理. 相似文献
16.
刘春辉 《浙江大学学报(理学版)》2014,(5):489-493,505
利用模糊拓扑中模糊点重于和属于模糊集的概念研究模糊逻辑代数结构,在BL-代数中引入(∈,∈∨q)-模糊素滤子的概念并研究其性质.获得了BL-代数中(∈,∈∨q)-模糊素滤子的若干等价刻画,讨论了BL-代数中素滤子与(∈,∈∨q)-模糊素滤子间的关系,考察了BL-代数中(∈,∈∨q)-模糊素滤子的同态性质,证明了BL-代数中(∈,∈∨q)-模糊素滤子的同构(同态)像(原像)仍为(∈,∈∨q)-模糊素滤子这一结论. 相似文献
17.
刘春辉 《浙江大学学报(理学版)》2018,45(5):521-528
拓扑结构是逻辑代数领域的重要研究内容之一,为了揭示FI代数上的拓扑结构,基于模糊滤子诱导的同余关系在FI代数上构造一致拓扑空间并讨论其拓扑性质,证明了:(i)一致拓扑空间是非连通、局部紧的完全正则空间;(ii)一致拓扑空间是T0空间当且仅当是T1当且仅当是T2空间;(iii)FI代数中蕴涵算子关于一致拓扑是连续的,从而构成拓扑FI代数.同时,获得了一致拓扑空间是紧空间的充分必要条件.最后,讨论了商空间的性质.该研究对从拓扑层面进一步揭示FI代数内部特征具有一定的促进作用. 相似文献
18.
刘春辉 《数学的实践与认识》2018,(9)
将模糊集与LI理想概念相结合,在MTL代数中引入反模糊LI理想和反模糊素(布尔/关联/超/固执)LI理想的概念并考察它们的特征性质和相互关系.证明了对MTL代数的非常值反模糊LI理想A而言,下列四条陈述是等价的:1)A既是反模糊布尔LI理想又是反模糊素LI理想;2)A既是反模糊关联LI理想又是反模糊素LI理想;3)A是反模糊超LI理想;4)A是反模糊固执LI理想. 相似文献
19.
刘春辉 《数学的实践与认识》2014,(18)
将模糊软集与格的模糊理想概念相结合,引入了格的模糊软理想的概念,给出了它们的若干代数性质.定义了格的模糊软同态(同构)概念,证明了格的一个模糊软理想在模糊软同构(同态)下的像(原像)仍为模糊软理想的结论. 相似文献
20.
刘春辉 《浙江大学学报(理学版)》2023,(4):391-401+408
模糊逻辑代数分析是模糊逻辑研究领域的热点问题之一。运用代数学和格论的方法及原理,深入研究了Fuzzy蕴涵代数及其理想问题。首先,利用伪补算子给出了Fuzzy蕴涵代数的若干新性质。其次,在Fuzzy蕴涵代数中引入理想和生成理想的概念并考察其性质特征和等价刻画。最后,讨论了由给定Fuzzy蕴涵代数全体理想构成的集合的格论特征,证明了该集合关于集合包含序构成分配的连续(代数)格,特别地构成完备Heyting代数,进而构成Frame的重要结论。 相似文献