首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
一类代数上的逻辑学(Ⅰ)   总被引:14,自引:5,他引:14  
引入了一种代数,称为模糊公式代数.在这种代数上建立了一个准形式演绎系统,证明了相应的可靠性定理与相容性定理,提出了程度化的ModusPonens规则和HypotheticalSylogism规则  相似文献   

2.
利用表代数的方法由群的特征标代数的结构常数求出特征标表,进而用表代数统一了特征标理论中若干基本结果,如Burnside公式,Brauer-Burnside定理,Garrison定理等,还从特征标的取值出发给出了刻划群的CF-对的新条件。  相似文献   

3.
代数的模糊同态   总被引:1,自引:0,他引:1  
引入了代数的模糊同态概念,并给出了模糊同态基本定理.  相似文献   

4.
引入了Fuzzy代数映射的概念,给出了它的一个分解定理,在此基础上,应用Fuzzy拓扑代数的理论,研究了由Fuzzy代数映射确定的始拓扑的特征和它的若干性质。  相似文献   

5.
由于fuzy系统工程等fuzzy性理论的需要,提出fuzzy映象,并研究fuzzy映象的不动点理论,Caristi不动点定理不要求映象具有连续性,它能应用于许多领域。该文在概率度量空间中提出Caristi型fuzy混合不动点的概念,得到一个fuzy混合不动点定理和一个公共fuzzy混合不动点定理,这些定理不仅推广和改进了Caristi不动点定理本身以及近期的一些重要结果,而且还能在系统工程中应用。  相似文献   

6.
在文献 [1 ]中 ,Wang和Li将Smash积代数和Smash余积余代数加以推广 ,给出了扭曲Smash积代数B★H和扭曲Smash余积余代数B×rH等概念 .并分别给出了扭曲Smash积代数和张量积余代数 ,扭曲Smash余积余代数和张量积代数构成双代数的充要条件 .本文中 ,我们将给出扭曲Smash积代数和扭曲Smash余积余代数构成双代数的充要条件 ,记这一新的双代数为 ★×rH .文 [1 ]的定理 1 .7,定理 2 .4及文 [2 ]的定理 1均为本文结果的特例 .作为我们结果的直接推论 ,可以得到双代数 B # ×rH 和 B ★×…  相似文献   

7.
讨论了Reynolds关于域上纽群代数的一个分裂定理,给出它的几个等价形式,并推广到连通环上的纽群代数。此外,还给出了连通环上射影群表示到有限群常表示的一个提升定理。  相似文献   

8.
借助模糊软集的概念, 在坡代数上定义了模糊软子坡, 并对其性质进行研究. 此外, 定义了坡代数上模糊软子坡间的模糊软同态和模糊软同构, 给出了坡代数上模糊软子坡的同构像定理和同态逆像定理, 并证明了坡代数上模糊软子坡范畴是坡代数范畴上的拓扑范畴.  相似文献   

9.
引入利用p—截集的模糊模ηM的模糊子模N=ηM,和Q=ηM',而且构造了相应的模糊商模,这类模糊商模的模糊赋值分布由定理2.1得出.进一步,本文得到有关模糊商模和保序模糊映射的一些基础性质.特别,定理2.3是许多代数结构的第一同构定理的类似物.  相似文献   

10.
给出了模糊域上的模糊代数的特征刻画、表示定理及同构扩张定理,并对其进行了证明.  相似文献   

11.
对于Y.Doi 所定义的Smash 积# ( H, A) ,给出了Smash 积A# H* 关于半单代数的Maschke 定理;给出了可分代数与余可分余代数之间的对偶关系.  相似文献   

12.
R0代数公理系统的简化与独立性   总被引:13,自引:4,他引:13  
研究了一类重要的模糊逻辑代数系统--R0代数,给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系,讨论了R0代数公理系统的简化问题,得到R0代数的两个特征定理,并证明了这两个特下定理中条件的独立性,由此得到R0代数两个独立的公理系统,研究结果表明,R0代数类和弱R0代数类都构成代数簇,即等式代数类,因而这两个代数类关于子代数、同态像以及直积是封闭的。  相似文献   

13.
在BCK代数的同态同构基本定理基础上,引进了乘积并给出了它的性质,由此又进一步得到了关于模糊带算BCK代数乘积的同构定理,从而使模糊带算BCK代数的讨论更加深入。  相似文献   

14.
给出Monadic分划逻辑初等等介的一个代数刻画,从而把Fraisse定理从一阶的情形推广到了Monadic分划逻辑的情形。  相似文献   

15.
交叉余积的性质和对偶定理的应用   总被引:1,自引:0,他引:1  
给出了co-Frobenius余代数上的交叉余积的重要性质,同时给出了Maschk定理的一种简单证明,并且还刻划了交叉积的半单性与半素性。  相似文献   

16.
研究了把Ba空间中的函数用代数多项式逼近的问题.把逼近论中经典的Jackson定理推广到Ba空间的基础上,在以2π为周期的函数构成的Ba空间中,证明了用三角多项式逼近的Jackson型定理.  相似文献   

17.
重新定义了模糊域上的模糊商代数,研究了模糊域上的模糊代数与模糊理想的性质,并给出了模糊商代数的同构定理.  相似文献   

18.
模糊点子代数是模糊代数研究的一个重要内容.通过将相关代数理论中的模糊点子代数概念引入到布尔代数之中,给出了布尔代数的模糊点子代数的概念,推广了布尔代数模糊子代数的概念.然后,系统地讨论了布尔代数的模糊点子代数的性质,给出了布尔代数的模糊点子代数的2个简化判断定理,证明了布尔代数的模糊点子代数的交、同态像和同态逆像也是布尔代数的模糊点子代数等相关结论.研究结果推广了布尔代数的模糊子代数及其相关结论,进一步丰富了布尔代数上的模糊理论.  相似文献   

19.
模糊值函数在模糊数积分区间[A~,B~]上的积分是Ⅱ型模糊集。已经证明了Ⅱ型模糊集不是软代数,给出了Ⅱ型模糊集用Ⅰ型模糊集表示的表现与分解定理,进而证明了这个积分具有良好的代数性质。  相似文献   

20.
证明了Hopf余模余代数的Maschkhke定理。  相似文献   

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

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