heyting代数 meaning in Chinese
heyting algebra
Examples
- 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代数之间的关系，得到了蕴涵代数中蕴涵算子的一个较好的条件，并给出了偏序集上蕴涵代数成为布尔代数的一些条件。