共查询到10条相似文献,搜索用时 453 毫秒
1.
利用F(S)中运算的定义给出了F(S)关于逻辑等价(可证等价)~所得的商代数F(S)∕~中的运算,在F(S)∕~中定义了滤子,讨论了滤子的性质,得到了F(S)∕~中的滤子都有形如的形式. 相似文献
2.
3.
刘先平 《湖北民族学院学报(自然科学版)》2012,(3):263-265
根据环的模糊理想定义一种等价关系把环的元素进行分类,再给出等价类的两种运算,验证等价类构成的集合对给出的两种运算构成一个环,称为商环.进一步由模糊理想诱导出一类理想化软环的软商环,并讨论这类软商环的基本性质. 相似文献
4.
刘春辉 《山东大学学报(理学版)》2014,(12):87-94
引入正则剩余格的模糊超⊙-理想概念并考察其性质,获得了模糊超⊙-理想的几个等价刻画。在正则剩余格L的全体模糊超⊙-理想集F U(L)上定义了格运算∨,∧和逆序对合对应■,证明了当L满足条件(P)时,(F U(L),∨,∧,■,0L,1L)构成一个De Morgan代数。在F U(L)上定义了一个伴随对(■,→),证明了当L满足条件(P)时,(F U(L),■,■,→,0L,1L)也构成一个剩余格。 相似文献
5.
通过提出模糊逻辑代数NBR_0的概念,研究逻辑代数NBR_0的代数结构,定义其上的运算,并探讨新运算,→_1,→_2与原运算之间关系,得到了NBR_0代数的一个等价刻画. 相似文献
6.
给定一个集合Ω,引入半群的Ω-模糊内理想的概念,讨论它的基本性质及其等价刻画,研究了半群的Ω-模糊内理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),研究了其内理想与Ω-模糊内理想。 相似文献
7.
给定一个集合Ω,引入半群的广义Ω-模糊双理想概念,讨论了它的一些相关性质及等价刻画,研究了半群的广义Ω-模糊双理想的同态像与原像的性质。此外,通过在SΩ上定义运算得到半群(SΩ,),并研究了其双理想与广义Ω-模糊双理想。 相似文献
8.
R0代数中素⊕理想及其性质 总被引:1,自引:1,他引:0
首先通过在R0代数M中引入⊕运算给出了肘中的⊕理想和素⊕理想的概念,并讨论了它们的基本性质,得到了一些好的结论;然后在肘的全体素⊕理想之集PI(M)上构造了拓扑,并证了PI(M)是紧致的T0空间但不是T1的。 相似文献
9.
10.
令H是任意非Abel有限群G的完全正规子群,记△n(G)为整群环ZG的n次增广理想,Qn(G)为增广商群△n(G)/△n 1(G).当G/H为循环群或基本p-群时,给出了△n(G)的一组基底,确定其增广商群Qn(G)的结构. 相似文献