说明:双击或选中下面任意单词,将显示该词的音标、读音、翻译等;选中中文或多个词,将显示翻译。
您的位置:首页 -> 词典 -> 商BL-代数
1)  Quotient BL-algebra
商BL-代数
2)  sub-BL-algebra
次BL-代数
3)  BL Algebra
BL代数
1.
It is proved that the Distributive Fuzzy Implication Algebra, Boole Algebra and Regular HFI Algebra are equivalent to each other, and Fuzzy Implication Algebra is BL Algebra.
给出了分配的Fuzzy蕴涵代数的定义并探讨了其有关性质,接着本文证明了分配的Fuzzy蕴涵代数与Boole代数、正则的HFI代数是相互等价的,从而得到Boole代数的两个等价形式,并且证明了分配的Fuzzy蕴涵代数是BL代数,最后得到了FI代数成为Boole代数的几个充要条件。
4)  BL-algebra
BL代数
1.
In partⅡ,the concept of prelinearity residuated lattice is proposed,we show that prelinearity residuated lattice is the basis of BR0-algebra and BL-algebra.
随后提出了预线性剩余格的概念,证明了预线性剩余格是BR_0代数与BL代数的基础,从而也就是著名的MV代数、R_0代数、G代数与Ⅱ代数的公共基础。
2.
Meanwhile,discussion was made on the relations between residual lattice,BL-algebra and associated implication algebra.
同时探讨了关联蕴涵代数与剩余格及BL代数之间的关系。
5)  sub-BL algebra
次BL代数
1.
Some properties of sub-BL algebras on othomodular lattices;
正交模格上的次BL代数性质
2.
Sub-BL algebra is the basic of many important logical algebras.
次BL代数是多个重要逻辑代数的理论基础,文章对次BL代数作了进一步的深入研究,得到了一些很好的结论,其主要结果有:1)简化了次BL代数的定义;2)给出了次BL代数的另外两种等价形式,进一步揭示了次BL代数与其他逻辑代数之间的关系;3)证明了一种强次BL代数与BR0代数之间的等价关系,并以次BL代数为基础给出了BR0代数和R0代数的简化定义,改进了已有的结果。
6)  BL-algebras
BL-代数
1.
MV-algebras ,R0-algebras ,Implicative algebras ,FI-algebras ,BL-algebras and Residual Lattice;
MV-代数、R_0-代数、格蕴涵代数、FI-代数、BL-代数与剩余格
2.
The Prime Filter Theorem in R_0-algebras and BL-algebras;
R_0-代数与BL-代数中的素滤子定理(英文)
补充资料:代数的代数


代数的代数
algebraic algebra

代数的代数【aigeb面c aigeb口;缸代6脚盼贬军粗,即;浦钾! 域F上幂结合代数洲特别地结合代数飞.其所有兀素都是代数的几素a任月称为代数的(al罗bral口,如果由“生成的子代数F!a]是有限维的或等价地、兀素a有系数在基域F中的零化多项式).代数A称为有界次代数的代数(al罗braie al罗bra of bounded de-gee)如果它是代数的月其元素的极小零化多项式的次数的集合是有界的.有界次代数的代数的子代数与同态象仍是有界次代数的代数 例:局部有限代数(特别地有限维代数)、诣零代数及不可数域仁有。J数雌一成兀集的结合除环.下面假定所涉及的代数均为结合的,代数的代数的J匆以由son根(J aoobson radl以l)是诣零理想本原代数的代数A同构于除环上向匿空间的线性变换的稠密代数,如果A还是有界次的,则A同构于除环1的矩阵环.有限域上没有非零幂零元的代数的代数(特别地,除环)是交换的.因此,有限除环是交换的.有界次代数的代数满足一个多项式恒等式、见Pl代数(P卜algebra).代数的Pl代数是局部有限的.如果基域是不可数的,则由代数的代数通过基域的扩张所得到的代数,及代数的代数的张量积,都是代数的代数.
说明:补充资料仅用于学习参考,请勿用于其它任何用途。
参考词条