首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 156 毫秒
1.
将有界格上的t-模应用于格蕴涵代数的滤子上,提出了格蕴涵代数的TL-滤子概念.研究了TL-滤子性质与一些等价刻画,并指出了TL-滤子与滤子之间的关系.  相似文献   

2.
提出布尔滤子的概念,研究它的一些基本性质,得到由布尔滤子所诱导的商代数是布尔代数的结论,同时给出了判定布尔滤子的等价条件,得到格蕴涵代数中布尔滤子与关联滤子一致的结论。  相似文献   

3.
在剩余格蕴涵代数中,提出准素滤子的概念.讨论了准素滤子与素滤子之间的关系和准素滤子与其格蕴涵同态像之间的关系.最后,得到了在格H蕴涵代数中,准素滤子和素滤子等价的结论.  相似文献   

4.
将非交换剩余格的(α,β]-模糊滤子、模糊布尔滤子、模糊蕴涵滤子、模糊奇异滤子等概念相结合,进一步在非交换剩余格中引入了(α,β]-模糊布尔滤子、(α,β]-模糊蕴涵滤子和(α,β]-模糊奇异滤子的概念,对它们的性质及其它们三者之间的相互关系进行了较为详细的讨论,并分别给出了它们的等价刻画.本文的结果对不同逻辑代数中各种滤子性质的研究具有积极的参考价值.  相似文献   

5.
在剩余格上引入了准滤子和剩余格间的蕴涵同态的概念,给出了准滤子的若干性质;讨论了准滤子与滤子间的关系;指出了剩余格上全体准滤子构成一个拓扑;证明了剩余格之间的同构映射是相应拓扑空间之间的一个同胚.  相似文献   

6.
在文[15]的基础上,对Fuzzy蕴涵代数的滤子理论作进一步的研究,讨论满足条件(P)的Fuzzy蕴涵代数(简称PFI代数)中MP滤子相关性质.获得了PFI代数中MP的若干等价刻画;证明由非空集合生成的MP滤子的一个新的表示定理.  相似文献   

7.
给出了Heyting代数中模糊滤子的定义,并研究了它的一些性质,运用Heyting代数中经典滤子的一些性质以及模糊集的截集和强截集得到了Heyting代数中的一些模糊集成为模糊滤子的等价刻画.  相似文献   

8.
在讨论格蕴涵代数的滤子和LI-理想的对偶性质后给出一些对偶性的结论,丰富了格蕴涵代数的结构,深化了格蕴涵代数的对偶性.  相似文献   

9.
R0-代数是基于系统研究形式演绎系统∫^*而提出的一类逻辑代数.本文证明了一个R0-代数的所有MP-滤子所成的集合分别构成一个Brouwer格、一个伪补分配格和一个Dedikind格.  相似文献   

10.
在偏序集上引入局部极大滤子的概念,讨论局部极大滤子在格、分配格、Heyting代数、Boole代数中的相关性质,得到一些等价条件,进一步地丰富偏序集的内容.  相似文献   

11.
将t-模应用于模糊同余上,引入格蕴涵代数的T-模糊同余,并研究T-模糊同余的性质与一些等价刻画,得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;最后得到了商格蕴涵代数以及同态定理.  相似文献   

12.
引进了格蕴涵代数的Fuzzy素LI-理想和Fuzzy极大LI-理想的概念,探讨了Fuzzy ILI-理想的一些性质,获得了格蕴涵代数的Fuzzy素LI-理想九个特征与格H蕴涵代数的Fuzzy素LI-理想的八个特征。给出了Fuzzy素LI-理想的扩展性质,建立了各类Fuzzy LI-理想与LI-理想的联系,引进了格蕴涵数的Fuzzy零LI-理想。最后用相应的Fuzzy LI-理想刻画了某些类型的格蕴涵代数。  相似文献   

13.
讨论了拟格蕴涵代数的基本性质,由此得到:拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X(X,V,∧,`,→,0,1)为拟格蕴涵代数,≤L为格(X,∨,∧)上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.  相似文献   

14.
讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数.  相似文献   

15.
给出了格蕴涵代数的模糊同余关系的定义并研究了其性质,得到了所有模糊滤子集合FF(L)同构于模糊同余关系集合FC(L).  相似文献   

16.
模糊零化子     
在格蕴涵代数中提出了模糊零化子的概念,讨论了模糊零化子的一些特殊性质,证明了格H蕴涵代数的模糊零化子是格H蕴涵代数的模糊理想。  相似文献   

17.
格蕴涵代数的一个简化公理系   总被引:2,自引:0,他引:2  
将格蕴涵代数的公理系由原来的19条公理简化为7条公理,从而为检验一个(2,2,2,1,0,0)型代数是否为格蕴涵代数提供了方便。  相似文献   

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

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