English translation for "heyting代数"

heyting algebra

Related Translations:

heyting algebra:  heyting代数

complete heyting algebra:  完全heyting代数

完全heyting代数:  complete heyting algebra

代数集刊:  algebra colloquium

代数项:  algebraic term

现代代数:  moderne algebra

代数多项式:  algebraic polynomial

代数语言学:  algebraic linguistics

结合代数:  associative algebra

交错代数:  alternative algebra

Example Sentences:

1.

The relations between heyting algebra and implication algebra with some conditions on a partial ordered set are discussed . then some conditions when a implication algebra is a boolean algebra are given . 3 系统地研究了偏序集上蕴涵代数与heyting代数之间的关系，得到了蕴涵代数中蕴涵算子的一个较好的条件，并给出了偏序集上蕴涵代数成为布尔代数的一些条件。

Similar Words：

"heystekrand" English translation, "heyte" English translation, "heytesbury" English translation, "heythum" English translation, "heyting algebra" English translation, "heytmanek" English translation, "heyu" English translation, "heyu sheng" English translation, "heyuan" English translation, "heyuan garden" English translation