首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 78 毫秒
1.
引入了严格滤子的概念,给出了严格滤子与SBL-代数的关系,证明了若BL-代数L的滤子F是奇异的和严格的,则L/F是Godel代数。揭示了严格滤子与整滤子、素滤子等的关系。  相似文献   

2.
MTL代数的性质及其滤子   总被引:1,自引:0,他引:1  
讨论了MTL代数的性质,并在其上引入了MP滤子、素MP滤子、布尔滤子的概念;刻画了包含F及α的最小MP滤子的结构;讨论了极大MP滤子与素MP滤子的关系;证明了当F是布尔滤子时,M/~F成为布尔代数.  相似文献   

3.
将Vague集理论与BL-代数的滤子理论相结合,提出了BL-代数的v-滤子的概念,研究了BL-代数的v-滤子的性质以及若干等价刻画,最后研究了BL-代数的v-滤子与滤子之间的关系.  相似文献   

4.
分析HO-代数的性质,利用同余关系介绍f-滤子是余核滤子的充要条件;并且,采用构造辅助滤子证明所有f-滤子的集合是一个Heyting-代数。  相似文献   

5.
依据双重伪补Ockham代数的核理想和余核滤子判别定理以及具有核理想和余核滤子同余关系表达式,研究了双重伪补Ockham代数的核理想和余核滤子同余关系的同余置换性,证明了双重伪补Ockham代数核理想同余关系和余核滤子同余关系是同构的.  相似文献   

6.
利用格论中滤子的相关知识,对公式集D(Г)的性质进行研究。通过对D(Г)和R0代数中MP滤子相似性的比较分析,证明了L*-L indenbaum代数[F]中的MP滤子都是形如D(Г)形式的,其中D(Г)={[A]|Г├A,A∈F(S)};又进一步证明了[F]中的极大滤子(格论意义下)是极大MP滤子,而且给出了刻画[F]中极大滤子的一个充分条件.  相似文献   

7.
引入了BCI-代数的滤子的概念,讨论了滤子的性质,得到了它与BCK-部分和极小元的分支的关系,还给出了滤子、理想和子代数之间的关系,说明了结合和p-半单BCI-代数中滤子的特性,BCI-代数的滤子与理想具有同等重要的意义.  相似文献   

8.
依据伪补MS代数的核理想及余核滤子判别定理以及核理想和余核滤子所生成的同余关系表达式,研究了伪补MS代数的核理想和余核滤子同余关系的同余置换性,证明了伪补MS代数核理想格和余核滤子格是同构的.  相似文献   

9.
作为各种非可换模糊逻辑代数的推广,引入剩余BCC-代数及强剩余BCC-代数的概念,研究了它们与psMTL-代数、pseudo-hoop等代数结构的关系.研究了剩余BCC-代数滤子的基本性质,建立了剩余BCC-代数的商代数理论;引入剩余BCC-代数的正规滤子概念,证明了强剩余BCC-代数的正规素滤子定理,从而拓广了相应逻辑代数滤子理论的已有结果.  相似文献   

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

11.
运用犹豫模糊集的方法和原理研究BE-代数的滤子和同余关系问题.首先,引入了BE-代数的犹豫模糊滤子概念,获得了犹豫模糊滤子的若干性质和等价刻画.其次,引入了BE-代数的犹豫模糊同余关系概念,讨论了犹豫模糊同余关系的性质及其与犹豫模糊滤子概念之间的关系,给出了BE-代数在给定犹豫模糊同余关系下的商代数特征并建立了同态基本定理.  相似文献   

12.
R0代数中的蕴涵滤子与同余关系   总被引:14,自引:0,他引:14  
最近,王国俊教授建立了R0代数理论,为模糊逻辑提供了一种新的代数结构^「1」。本文在R0代数中引入蕴涵滤子及同余关系的概念,并且讨论蕴涵滤子与通常代数滤子的关系,还给出了蕴涵滤子和同余关系的若干重要性质。  相似文献   

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

14.
EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要意义。继Vilem Nover提出了EQ-代数并在EQ-代数中引入滤子后,许多学者针对EQ-代数中滤子理论,做了大量的工作。该文以EQ-代数为研究对象,为主要工具,以水平截集为桥梁,在EQ-代数和模糊集的基础上,引入了EQ-代数模滤子的定义,讨论了EQ-代数模糊滤子的相关性质。  相似文献   

15.
EQ-代数是一种重要的逻辑代数,它与剩余格有密切的关系,但也存在本质的差别,研究EQ-代数对经典逻辑和模糊逻辑有重要意义。继Vilem Nover提出了EQ-代数并在EQ-代数中引入滤子后,许多学者针对EQ-代数中滤子理论,做了大量的工作。该文以EQ-代数为研究对象,为主要工具,以水平截集为桥梁,在EQ-代数和模糊集的基础上,引入了EQ-代数模滤子的定义,讨论了EQ-代数模糊滤子的相关性质。  相似文献   

16.
模糊化方法可以有效简化代数结构的复杂性。因而文中应用代数系统模糊化方法和模糊集水平截集方法,研究EQ-代数的模糊前滤子的性质及其生成方法。进而得到以下结果:引入了EQ-代数模糊前滤子和素模糊前滤子的概念。分别给出了EQ-代数模糊前滤子、素模糊前滤子与前滤子、素前滤子之间的关系。给出了EQ-代数上由一个模糊子集生成一个模糊前滤子的公式。最后,得到了一个EQ-代数上全体模糊前滤子的集合构成一个完备模格。  相似文献   

17.
讨论了BR0-代数与BCK-代数之间以及BR0-代数的滤子与BCK-代数的理想之间的关系,给出了BR0-代数可以诱导出一个有界BCK-代数,有界交换BCK-代数也可以诱导出一个BR0-代数,又以推论的形式得出了有界交换BCK-代数与MV-代数是两个等价的代数系统等结论.  相似文献   

18.
Heyting代数的模糊滤子格   总被引:1,自引:0,他引:1  
结合模糊集和滤子理论,对Heyting代数的模糊滤子概念作进一步研究。引入Heyting代数的由一个模糊集生成的模糊滤子的概念并获得了它的表示定理。在Heyting代数的全体模糊滤子之集上定义了格运算和蕴涵运算,证明了按此方式定义了格运算和蕴涵运算之后,全体模糊滤子之集形成一个完备Heyting代数的结论。  相似文献   

19.
Ravi Kumar Bandaru提出了BRK-代数的概念,并研究了相关性质,证明了所有满足结合律的BRK-代数都是群.讨论N(2,2,0)代数与BRK-代数的关系,进一步研究了N(2,2,0)代数的理想与滤子,并在N(2,2,0)代数的p-根集上构造了一个商代数.  相似文献   

20.
讨论了正则FI代数中MP滤子的性质与应用。获得了正则FI代数中MP滤子的若干新性质,证明了正则FI代数中生成MP滤子的一个新的表示定理;利用MP滤子概念在正则FI代数上构造了一个同余关系,讨论了此同余关系的基本性质。  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号