1) Z-implicative Algebra
Z-蕴涵代数
2) 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代数之间的关系，以及偏序集上蕴涵代数的滤子与其结构等。
3) lattice implication algebra
格蕴涵代数
1.
On Method of a Class of Finite Lattice Implication Algebraic Equations;
关于一类有限格蕴涵代数方程的解法
2.
Prime Dual Ideals of Lattice Implication Algebra;
格蕴涵代数的素对偶理想
3.
Some Remarks on Structure of Lattice Implication Algebras;
关于格蕴涵代数的结构的一些讨论
4) lattice implication algebras
格蕴涵代数
1.
In this paper, the concept of ultrafilter of lattice implication algebras is proposed.
文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。
2.
Furthermore,the relations between commutative weak R_0-algebras and lattice implication algebras are found out.
探究了可交换弱R0代数与格蕴涵代数之间的关系,以及与MV代数之间的关系。
5) weak implication algebra
弱蕴涵代数
1.
It was proved that weak implication algebra satisfying the condition(x→y)→y =(y→x)→x forms MV-algebra and weak R_0-algebra.
引入偏序集上的弱蕴涵代数的概念,证明它在满足条件(x→y)→y=(y→x)→x时构成M V代数,也构成弱R0代数。
6) partial implication-algebra
偏蕴涵代数
1.
Through the study of effect algebra and difference posets,the author introduces the partial implication-algebra form the point of implication.
通过对效应代数和差分偏序集的研究,从蕴涵的角度出发引入偏蕴涵代数,证明了偏蕴涵代数与效应代数是两种不同形式的等价代数结构,并讨论了它与其他代数之间的关系。
补充资料：代数的代数
代数的代数
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代数是局部有限的.如果基域是不可数的，则由代数的代数通过基域的扩张所得到的代数，及代数的代数的张量积，都是代数的代数.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条