Regular Implication lattice 正则蕴涵格
quotient implication lattice 商蕴涵格
lattice implication algebras 格蕴涵代数
lattice H implication algebra 格H蕴涵代数
lattice implication isomorphism 格蕴涵同构
lattice implication homomorphism 格蕴涵同态映射
As consequences it is given some of structure theorems of lattice implication algebras.
作为推论，给出了格蕴涵代数的某些结构性定理。
Therefore, the forming of new lattice implication algebras plays an important role in artificial intelligence research.
因此，构造新的格蕴涵代数对人工智能的研究具有重要意义。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
应用推荐