2) implicative BCK-algebra
蕴涵BCK代数
1.
The adjoint semigroup of implicative BCK-algebra is a residuled semigroups.
给出了蕴涵BCK代数的伴随半群作为剩余半群时的若干特征,并从剩余半群的角度对蕴涵BCK代数进行了刻划。
3) anti-positive implicative BCK-algebras
反正蕴涵BCK-代数
4) positive implicative BCK-algebra
正蕴涵BCK-代数
1.
In this paper,we define the weak associative BCK-algebra,obtain some equal conditions of positive implicative BCK-algebras from mapping,and discuss that a BCK-algebra with condition(S) is isomorphic to the R(X),which is the set of all right maps.
给出了弱可结合的定义,从映射角度得到了BCK-代数是正蕴涵的等价条件,讨论了具有条件(S)的正蕴涵BCK-代数同构于所有右乘映射的集合R(X)。
2.
In this paper, we give some characterization of a positive implicative BCK-algebra by its ad joint semlgroup.
本文讨论了正蕴涵BCK－代数的剩余刻划；证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。
5) positive implic ative BCK algebra
正蕴涵BCK代数
6) implication algebra
蕴涵代数
1.
Properties of Associated Implication Algebra on a Partial Ordered Set;
偏序集上关联蕴涵代数的性质
2.
In this paper, a kind of lattice implication algebra is introduced by combining lattice with implication algebra, and some of its basic properties are discussed, providing a necessary basis for studying lattice-valued logical systems in semantics.
本文将格与蕴涵代数结合在一起,建立了格蕴涵代数,并讨论了它的一些基本性质,为从语义的角度研究格值逻辑系统奠定了必要的基础。
3.
A kind of algebraic abstract of fuzzy logic,Implication Algebra on a partial ordered set,is given.
本文的目的是使用代数工具对模糊逻辑进行研究，给出模糊逻辑的一类代数抽象，即偏序集上的蕴涵代数，研究偏序集上蕴涵代数与其它代数结构，如MV-代数，Heyting代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。
补充资料：代数的代数
代数的代数
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代数是局部有限的.如果基域是不可数的，则由代数的代数通过基域的扩张所得到的代数，及代数的代数的张量积，都是代数的代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条