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.
根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
The concept of lattice implication homomorphism image, which is proved to be a lattice implication algebra, is introduced.
提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；
Finally, the set of a lattice implication algebra are studied.
同时，对格蕴涵代数之全体的结构进行了全面的研究。
This paper gives out that the relationship among lattice implication algebras, MV algebras, R0 algebras and other implication algebras based on lattices, and their dual algebras are established.
给出了格蕴涵代数、MV代数、R 0代数等一些格上蕴涵代数之间的关系，并建立了它们的对偶代数。
The relation between rough set algebra and lattice implication algebra was studied, and the method of constructing lattice implication algebra from rough set algebra was presented.
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法。
The concept and some of fundamental properties of prime filters in lattice implication algebras are introduced.
格蕴涵代数中素滤子的概念被引入。
The paper gives an algorithm of obtaining all form concepts from the formal context based on the concept lattice theory. And then, to extract the implication rules from the lattice.
基于概念格理论提出了一种从形式背景中获得所有形式概念的算法，并根据构建的概念格提取蕴含规则。
Simplify the axiom system of lattice implication algebras, which was given by y.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
Simplify the axiom system of lattice implication algebras, which was given by y.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
应用推荐