共查询到16条相似文献,搜索用时 421 毫秒
1.
研究了王国俊教授建立的模糊命题演算的形式演绎系统L^*和与之在语义上相匹配的R0-代数以及吴洪博教授提出的基础R0-代数和基础L^*系统,提出了WBR0-代数的观点,讨论了它与BR0-代数的关系,简化了BR0-代数的定义,在讨论正则FI-代数与正则剩余格之间关系的基础上,讨论了BR0-代数与FI-代数的相互关系. 相似文献
2.
关于正则剩余格与R0-代数的几点注记 总被引:1,自引:0,他引:1
朱怡权 《黄冈师范学院学报》2003,23(6):4-7
正则FI-代数、Ro-代数、正则剩余格等代数结构都是非经典逻辑中基本而重要的“语义代数”,本中,进一步研究了它们之间的密切联系.特别地,证明了强正则剩余格与弱Ro-代数是相互等价的代数结构. 相似文献
3.
4.
引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y=(y→x)→x时构成M V代数,也构成弱R0代数.同时探讨了关联蕴涵代数与剩余格及BL代数之间的关系. 相似文献
5.
在剩余格蕴涵代数中,提出准素滤子的概念.讨论了准素滤子与素滤子之间的关系和准素滤子与其格蕴涵同态像之间的关系.最后,得到了在格H蕴涵代数中,准素滤子和素滤子等价的结论. 相似文献
6.
讨论了拟格蕴涵代数的基本性质,由此得到:拟格蕴涵代数X为格蕴涵代数当且仅当≤L与≤F一致等若干充要条件.这里,X(X,V,∧,`,→,0,1)为拟格蕴涵代数,≤L为格(X,∨,∧)上的自然偏序关系,≤F为由蕴涵算子→、诱导的偏序关系. 相似文献
7.
白利军 《兰州石化职业技术学院学报》2011,11(2):66-68
讨论了格蕴涵代数与正则Fuzzy蕴涵代数之间的关系,并证明了正则Fuzzy蕴涵代数如果满足一定的条件,则构成格蕴涵代数. 相似文献
8.
张宝华 《绵阳师范学院学报》2008,27(11)
在文献[6]中,通过在一格蕴涵代数L与它的素理想空间上的开闭下集构成的格蕴涵代数{Xa|a∈L}之间引入一映射,得到了格蕴涵代数L的一个表示。利用集合列的极限对格蕴涵代数的表示进行了讨论,得出了格蕴涵代数的表示中单调集合列及一般集合列无限运算的一系列性质;又根据格蕴涵代数与格蕴涵代数的表示之间是同构的,进而得出了格蕴涵代数中任意子集无限运算的若干性质。 相似文献
9.
10.
对WBR0代数进行了进一步的研究,得到了WBR0代数与正则剩余格等价的结论,在此基础上给出了WBR0代数的两种等价形式,一定程度上简化了WBR0代数的定义. 相似文献
11.
12.
13.
利用基于第一性原理和陈氏晶格反演方法获得的原子间相互作用对势模拟计算了RMn12-xFex(R=Y,Ho,Er)金属间化和物的结构性质,计算结果表明第三组元Fe择优占据8f晶位,8j晶位与8i晶位次之,计算的晶格常数与实验结果符合较好.利用晶格反演的原子间相互作用对势对RMn12-xFex复杂结构的一些力学性质如弹性常数和体模量进行了模拟计算,并首次探讨了该体系的声子态密度曲线及德拜温度. 相似文献
14.
最近,E.R.Puczylowski用公理化方法建立了外延广泛的代数系统--代数对象类的概念,它包含了大多数已知的代数范畴.并且,在特殊的代数对象类--正规代数类中,他给出了半单类的一个特征.本文的目的是在正规代数类中给出半单闭包的构造. 相似文献
15.
将t-模应用于模糊同余上,引入格蕴涵代数的T-模糊同余,并研究T-模糊同余的性质与一些等价刻画,得到全体T-模糊滤子的集合与T-模糊同余的集合是同构;最后得到了商格蕴涵代数以及同态定理. 相似文献
16.
龙希庆 《宜宾师范高等专科学校学报》2010,(6):26-27,47
在乘积格蕴涵代数中研究乘积格蕴涵代数的理想,乘积格蕴涵代数的各种理想之间的关系,证明了A×B是L1×L2的理想(素理想)当且仅当A,B分别是L1和L2的理想(素理想),两条Lukasiew icz链Lm和Ln的直积Lm×Ln只有{a1}×Ln和Lm×{b1}两个素理想. 相似文献