共查询到19条相似文献,搜索用时 437 毫秒
1.
给出了由粗集代数构造伪补MS代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取余运算之后,粗集代数就构成伪补MS代数. 相似文献
2.
对IMTL-代数及其相关逻辑代数进行了进一步的研究,通过加强IMTL-代数条件的方法建立了IMTL*-代数,并通过实例证明了IMTL*-代数结构的存在性;其次,构造了一个非IMTL*-代数的IMTL-代数,说明了IMTL*-代数是IMTL-代数的真的强化形式,并基于IMTL-代数给出了IMTL*-代数的一些等价刻画;最后,给出了IMTL*-代数的蕴涵表示形式。本文的结果是对逻辑代数的研究内容和方法的有益补充。 相似文献
3.
讨论了粗等价的性质 ,证明了粗相等关系是 Boolean代数 (2 U,∩ ,∪ ,~ )上的同余关系 ,给出了 2 U上的一个等价关系是粗相等的刻画 .从粗相等出发 ,引入了一类新的代数系统——粗相等代数 相似文献
4.
从副集的代数系统方面进行研究,讨论了近似空间上单向S-粗集的副集的代数性质,给出副集的交、并、补的定义。基于此,多方面探讨了副集的代数性质,如:它是一个偏序、分配格、软代数。 相似文献
5.
6.
7.
讨论粗糙集代数与MTL代数的关系以及由粗糙集代数构造MTL代数的方法.借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子及余运算之后,粗糙集代数就成为MTL代数. 相似文献
8.
A∞-代数与三维AS正则代数 总被引:1,自引:1,他引:0
利用A∞-代数来讨论Artin-Schelter(AS)正则代数的分类.设A是整体维数为3的连通分次Noetherian代数,则A是AS正则代数当且仅当它的Yoneda代数ExtA(k,k)是Frobenius代数.设E是与ExtA(k,k)有相同的双分次结构的Frobenius代数.首先对E的代数结构及A∞-结构作分类,然后利用这个A∞-结构的分类及已知的一个对应关系,得到A∞-代数E的“对应”代数,从而为三维AS正则代数的A∞-分类作好了准备. 相似文献
9.
10.
《安徽大学学报(自然科学版)》2020,(3):1-5
Ravi Kumar Bandaru提出了BRK-代数的概念,并研究了相关性质,证明了所有满足结合律的BRK-代数都是群.讨论N(2,2,0)代数与BRK-代数的关系,进一步研究了N(2,2,0)代数的理想与滤子,并在N(2,2,0)代数的p-根集上构造了一个商代数. 相似文献
11.
贺品品 《陕西师范大学学报(自然科学版)》1996,24(4):17-20
根据集合代数的研究引入了减法代数的概念.证明了任一Boolean代数等价于一个具有一个二元代数运算,且仅可由四个方程式定义的减法代数系统〈X;-,0,1〉 相似文献
12.
引入交换Hilbert代数与BCK-代数的概念,给出了它的一个等价公理系.同时,研究了Hilbert代数与BCK-代数,MV代数的关系. 相似文献
13.
刘卫锋 《山东大学学报(理学版)》2015,50(8):57-61
定义了布尔代数的软合同关系、软商代数和软商布尔代数等概念,证明了布尔代数的软合同关系与软理想相互确定,进而由布尔代数的软真理想得到布尔代数的软商布尔代数.最后,证明了布尔代数的软同态具有保软合同性. 相似文献
14.
15.
16.
段景瑶 《兰州理工大学学报》2009,35(3)
通过对R0-代数及其命题演算系统L*的研究,讨论R0-代数的定义,得到两种非格序入手的等价刻画;对MV代数的简化定义进一步简化,得到MV代数的另一种非,蕴含型的等价刻画. 相似文献
17.
目的在R0代数中构造一种新型商代数。方法利用素滤子在R0代数中定义等价关系,得到R0代数的商代数。结果这种商代数是有界分配格。结论这种商代数成为R0代数的充分条件是对其中任意的a都有■a∨a=1。 相似文献
18.
研究了量子环面上李代数sln(Cq)的Hom-李代数结构.通过计算李代数sln(Cq)的保运算自同态,得到了sln(Cq)的Hom-李代数结构是平凡的. 相似文献
19.
刘卫锋 《山东大学学报(理学版)》2013,48(8):56-62
将软集理论应用到布尔代数中,提出了软布尔代数、软布尔子代数、软布尔代数的软理想、软理想布尔代数等概念,研究了它们的相关性质,并初步讨论了软布尔代数与几类布尔代数的模糊子代数的关系。 相似文献