首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到16条相似文献,搜索用时 93 毫秒
1.
讨论了拟格蕴涵代数的基本性质,由此得到:拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X(X,V,∧,`,→,0,1)为拟格蕴涵代数,≤L为格(X,∨,∧)上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系.  相似文献   

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

3.
在文献[6]中,通过在一格蕴涵代数L与它的素理想空间上的开闭下集构成的格蕴涵代数{Xa|a∈L}之间引入一映射,得到了格蕴涵代数L的一个表示。利用集合列的极限对格蕴涵代数的表示进行了讨论,得出了格蕴涵代数的表示中单调集合列及一般集合列无限运算的一系列性质;又根据格蕴涵代数与格蕴涵代数的表示之间是同构的,进而得出了格蕴涵代数中任意子集无限运算的若干性质。  相似文献   

4.
在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiew icz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想.  相似文献   

5.
乘积格蕴涵代数的理想   总被引:1,自引:0,他引:1  
在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiewicz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想.  相似文献   

6.
证明了正则的Heyting-代数如果满足x→y=x'∨y,则可构成格蕴涵代数并且是格H蕴涵代数,条件是充分必要的。  相似文献   

7.
MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格   总被引:1,自引:0,他引:1  
基于剩余格的理论与方法给出了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格代数的定义的等价形式;进一步指出了各种逻辑代数的剩余格的代数本质.说明了剩余格在逻辑代数系统中的重要地位;分析了MV-代数、R0-代数、格蕴涵代数、FI-代数、BL-代数以及基础R0代数之间的相互关系,为进一步的研究奠定了必要的基础.  相似文献   

8.
两类简单格蕴涵代数不等式的解   总被引:1,自引:1,他引:0  
格蕴涵代数中研究两类格蕴涵代数不等式, 分别讨论了两类不等式有解的充分必要条件, 在此基础上给出格蕴涵代数不等式的具体解集并证明其 解集是L 的一个凸子格.  相似文献   

9.
格蕴涵代数不等式的解   总被引:1,自引:0,他引:1  
在格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集分别是L的一个凸子格和子格.  相似文献   

10.
关于格蕴涵代数   总被引:3,自引:0,他引:3  
讨论了拟格蕴涵代数的基本性质.由此得到:拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤r一致等若干充要条件,这里.X=(X.V.A.′.→.0,1)为拟格蕴涵代数1≤L为格(X,V,A)上的自然偏序关系.≤r为由蕴涵算子→诱导的偏序关系。  相似文献   

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

12.
将有界格上的t-模应用于格蕴涵代数的滤子上,提出了格蕴涵代数的TL-滤子概念.研究了TL-滤子性质与一些等价刻画,并指出了TL-滤子与滤子之间的关系.  相似文献   

13.
给出了格蕴涵代数在它的素理想空间上的一个表示,并讨论了表示以后的一些性质,从而得到了格蕴涵代数的一个性质。  相似文献   

14.
由一般的格蕴涵代数的定义出发,验证了Lukasiewicz涵代数并讨论了Lukasiewicz蕴涵代数的单性和周期性。  相似文献   

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

16.
引入可交换弱FI代数的概念,讨论了弱FI代数和FI代数的几个性质;进一步得到了交换弱FI代数和交换FI代数的一些结果.  相似文献   

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

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