共查询到19条相似文献,搜索用时 62 毫秒
1.
讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明. 相似文献
2.
岳振才 《广西民族大学学报》2000,6(2)
在文献 [1]的基础上 ,主要讨论了二元运算⊙的运算规律 ,并给出了德摩根 BZMVd M-代数的若干性质 ,即在一个 BZMVd M-代数中 ,(1)~~ x=x当且仅当~ x⊙ x=x当且仅当 x x=x.(2 ) x,y∈A,x∧ y=0当且仅当 y<~ x;若 x x=x,则 x∧ y=0当且仅当 x≤ y.(3)~ (x y) =~ x⊙~ y.(4) x ~ x=1. 相似文献
3.
4.
基于集合代数闭包和代数内部的概念,在free-disposal集条件下证明了代数闭包必是代数闭集,代数内部必是代数开集;研究了凸锥和与其对应的free-disposal集的代数性质,同时获得了两个free-disposal集和的代数性质;建立了两个free-disposal集的等价条件. 相似文献
5.
6.
罗从文 《华中师范大学学报(自然科学版)》2005,39(3):294-297
利用自然数的整除理论首先研究自然数的约数集构成的Kleene代数的性质,由此得到了这种Kleene代数的分解定理,然后引入一种补运算使之成为一个Keene-Stone代数。 相似文献
7.
8.
9.
本文主要从可容集的角度研究了格值正则语言,给出了一个语言是格值正则语言的充要条件,并说明了格值正则语言关于商是封闭的. 相似文献
10.
引入诱导代数与广义Kleene-Dienes三值系统等概念,研究一类代数及其诱导代数的性质,得到若干有用结果。 相似文献
11.
12.
张昆龙 《内蒙古大学学报(自然科学版)》1999,30(3):286-290
研究了De Morgan代数中的不动核的性质,特征,并且给出了De Morgan代数含有不动核的充分必要条件,同时又对不动核的个数问题做了进一步的讨论,得到了一些结果。 相似文献
13.
14.
15.
先给出Hom-LPNG代数的概念, 再用新定义的运算方法, 解决Hom-LPNG代数构造的一些问题, 得到了用Hom-交换结合代数、 Novikov-Poisson代数和LPNG代数等构造Hom-LPNG代数及由已知Hom-LPNG代数生成新的Hom-LPNG代数的结果. 相似文献
16.
对路李代数及其性质做了研究.给出了有限维路李代数均可解的结论和所有的卡当子代数;并给出了其相对于一个特定的卡当子代数的根子空间的分解;最后,对一类无限维路李代数可解的条件作了探讨. 相似文献
17.
子空间均为子代数的李代数的若干性质 总被引:1,自引:0,他引:1
确定了S.A.(即子空间均为子代数)李代数的结构与唯一性,同构,导子代数,自同构群及不变量;同时得到S.A.李代数是完备李代数的一个充分必要条件. 相似文献
18.
19.
忻存艳 《复旦学报(自然科学版)》2005,44(3):422-426
将前人关于连通分次代数的一些结论推广到零阶部分为Artin半单环的正分次代数上.主要讨论了一般正分次代数为Gorenstein代数与它的平凡模Ext代数为Frobenius代数的关系,并得到结论:若A是整体维数有限的Koszul代数,且A是左有限的,则A是左Gorenstein代数当且仅当它的Keszul对偶A^!是右Frobenius代数. 相似文献