1) bounded BCK algebra
有界BCK代数
2) Bounded BCK-algebra
有界BCK-代数
1.
A Simple Axiom System of Bounded BCK-algebra;
有界BCK-代数的一个简化公理系统
3) bounded commutative BCK-algebra
有界可交换的BCK-代数
1.
Given a set Ω,the notion of Ω-fuzzy algebraic ideal in bounded commutative BCK-algebras(briefly,BC-BCK-algebras) is introduced,and some related properties are investigated.
给定一个集合Ω,引入了有界可交换的BCK-代数的Ω-模糊代数理想之概念,研究了它的一些相关性质,并给出了它几个特征,讨论了有界可交换的BCK-代数的Ω-模糊理想与Ω-模糊代数理想的关系。
2.
The relations between GRISS-algebra and BCK-algebra are studied as well,and an important result that a bounded commutative BCK-algebra must be a GRISS-algebra is got.
对GRISS-代数的性质作了初步探讨,并给出了20多条GRISS-代数的重要性质,同时也对GRISS-代数和BCK-代数之间的关系作了研究,得出了有界可交换的BCK-代数是GRISS-代数的重要结论。
4) Bounded commutative distributive BCK algebra
有界可换分配的BCK代数
5) Bounded implicative BCK algebra
有界关联的BCK代数
6) bounded implicative BCK-algebras
有界关联BCK一代数
1.
It has been proved in this paper that bounded implicative BCK-algebras and Boole algebras are each other equivalent algebraic systems.
主要证明了有界关联BCK一代数与Boole代数是相互等价的代数系统。
补充资料：代数的代数
代数的代数
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代数是局部有限的.如果基域是不可数的，则由代数的代数通过基域的扩张所得到的代数，及代数的代数的张量积，都是代数的代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条