embeddability造句

Upper embeddability of a kind of special graph
一类特殊图的上可嵌入性
So it is very significant to study the embeddability of algebra systems
从而研究代数系统的可嵌入性是非常有意义的。
This paper mainly discusses the embeddability of several kinds of important algebra systems
本文的目的正是研究几类重要的代数系统的可嵌入性问题。
However , the embeddability plays an important role in proving the completeness of the formal deductive systems . when an algebra system has embeddability . a formula is a tautology for each linearly ordered algebra if and only if it is a tautology for each algebra
在可嵌入性的保证下，当一个公式对所有的某种线性代数系统是重言式时，其必定对所有的同种代数系统是重言式。
The main content of the present paper is as follow : in the first part , this paper gives the definition of lfi algebras and clfi algebras ; discusses the properties of fi algebras , theirs mp filters . lfi algebras and lfi algebras with embeddability
本文的主要内容如下：第一章：讨论了fi代数及其mp滤子的性质；给出了lfi代数及clfi代数的定义；讨论了lfi代数的性质；在此基础上，给出了lfi代数可嵌入于全序fi代数乘积的充要条件。
It's difficult to find embeddability in a sentence. 用embeddability造句挺难的

The second part discusses the properties of residuated lattices satisfying ; gives a necessary and sufficient condition w . r . t . residuated lattices . by means of it , this paper obtains several kinds of important algebra systems such as r0 algebras , mv algebras , bl algebras , and wnm algebras have embeddability ; discusses the relation between lfi algebras and residuated lattices ; gives a necessary and sufficient condition for clfi algebras becoming residuated lattices
第二章：讨论了满足( * )式的剩余格的一些性质；找到了剩余格可嵌入于全序剩余格乘积的充要条件；利用这个结果，得到了几类重要代数系统像r _ 0代数、 mv代数、 bl代数、 wnm代数、蕴涵格等等具有可嵌入性；还讨论了lfi代数与剩余格的关系，给出了clfi代数成为剩余格的充要条件。