共查询到20条相似文献,搜索用时 31 毫秒
1.
一类代数上的逻辑学(Ⅰ) 总被引:14,自引:5,他引:14
王国俊 《陕西师范大学学报(自然科学版)》1997,(1)
引入了一种代数,称为模糊公式代数.在这种代数上建立了一个准形式演绎系统,证明了相应的可靠性定理与相容性定理,提出了程度化的ModusPonens规则和HypotheticalSylogism规则 相似文献
2.
张广祥 《西南师范大学学报(自然科学版)》1995,20(5):474-479
利用表代数的方法由群的特征标代数的结构常数求出特征标表,进而用表代数统一了特征标理论中若干基本结果,如Burnside公式,Brauer-Burnside定理,Garrison定理等,还从特征标的取值出发给出了刻划群的CF-对的新条件。 相似文献
3.
4.
引入了Fuzzy代数映射的概念,给出了它的一个分解定理,在此基础上,应用Fuzzy拓扑代数的理论,研究了由Fuzzy代数映射确定的始拓扑的特征和它的若干性质。 相似文献
5.
石川 《南京理工大学学报(自然科学版)》1998,(4)
由于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.
周后型 《东南大学学报(自然科学版)》1997,27(4):82-86
讨论了Reynolds关于域上纽群代数的一个分裂定理,给出它的几个等价形式,并推广到连通环上的纽群代数。此外,还给出了连通环上射影群表示到有限群常表示的一个提升定理。 相似文献
8.
借助模糊软集的概念, 在坡代数上定义了模糊软子坡, 并对其性质进行研究. 此外, 定义了坡代数上模糊软子坡间的模糊软同态和模糊软同构, 给出了坡代数上模糊软子坡的同构像定理和同态逆像定理, 并证明了坡代数上模糊软子坡范畴是坡代数范畴上的拓扑范畴. 相似文献
9.
潘福铮 《湖北大学学报(自然科学版)》1994,16(3):272-279
引入利用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
裴道武 《陕西师范大学学报(自然科学版)》2002,30(3):5-9
研究了一类重要的模糊逻辑代数系统--R0代数,给出了R0代数一系列基本性质及与其它一些模糊逻辑代数系统之间的关系,讨论了R0代数公理系统的简化问题,得到R0代数的两个特征定理,并证明了这两个特下定理中条件的独立性,由此得到R0代数两个独立的公理系统,研究结果表明,R0代数类和弱R0代数类都构成代数簇,即等式代数类,因而这两个代数类关于子代数、同态像以及直积是封闭的。 相似文献
13.
吴报任 《合肥工业大学学报(自然科学版)》1998,(4)
在BCK代数的同态同构基本定理基础上,引进了乘积并给出了它的性质,由此又进一步得到了关于模糊带算BCK代数乘积的同构定理,从而使模糊带算BCK代数的讨论更加深入。 相似文献
14.
给出Monadic分划逻辑初等等介的一个代数刻画,从而把Fraisse定理从一阶的情形推广到了Monadic分划逻辑的情形。 相似文献
15.
交叉余积的性质和对偶定理的应用 总被引:1,自引:0,他引:1
张良云 《南京师大学报(自然科学版)》1997,20(3):6-8,14
给出了co-Frobenius余代数上的交叉余积的重要性质,同时给出了Maschk定理的一种简单证明,并且还刻划了交叉积的半单性与半素性。 相似文献
16.
吴嘎日迪 《内蒙古师范大学学报(自然科学版)》1996,(4):1-3
研究了把Ba空间中的函数用代数多项式逼近的问题.把逼近论中经典的Jackson定理推广到Ba空间的基础上,在以2π为周期的函数构成的Ba空间中,证明了用三角多项式逼近的Jackson型定理. 相似文献
17.
重新定义了模糊域上的模糊商代数,研究了模糊域上的模糊代数与模糊理想的性质,并给出了模糊商代数的同构定理. 相似文献
18.
刘卫锋 《四川师范大学学报(自然科学版)》2014,(4):529-532
模糊点子代数是模糊代数研究的一个重要内容.通过将相关代数理论中的模糊点子代数概念引入到布尔代数之中,给出了布尔代数的模糊点子代数的概念,推广了布尔代数模糊子代数的概念.然后,系统地讨论了布尔代数的模糊点子代数的性质,给出了布尔代数的模糊点子代数的2个简化判断定理,证明了布尔代数的模糊点子代数的交、同态像和同态逆像也是布尔代数的模糊点子代数等相关结论.研究结果推广了布尔代数的模糊子代数及其相关结论,进一步丰富了布尔代数上的模糊理论. 相似文献
19.
齐思刚 《河北大学学报(自然科学版)》1999,(2)
模糊值函数在模糊数积分区间[A~,B~]上的积分是Ⅱ型模糊集。已经证明了Ⅱ型模糊集不是软代数,给出了Ⅱ型模糊集用Ⅰ型模糊集表示的表现与分解定理,进而证明了这个积分具有良好的代数性质。 相似文献
20.