格蕴涵代数中素滤子的概念被引入。
The concept and some of fundamental properties of prime filters in lattice implication algebras are introduced.
作为推论，给出了格蕴涵代数的某些结构性定理。
As consequences it is given some of structure theorems of lattice implication algebras.
同时，对格蕴涵代数之全体的结构进行了全面的研究。
Finally, the set of a lattice implication algebra are studied.
根据逻辑代数方程理论，提出了格蕴涵代数方程的概念。
According to the theory about logic algebraic equation, the notion of lattice implication algebraic equation was proposed.
因此，构造新的格蕴涵代数对人工智能的研究具有重要意义。
Therefore, the forming of new lattice implication algebras plays an important role in artificial intelligence research.
提出了格蕴涵同态像的概念，证明了格蕴涵同态像是格蕴涵代数；
The concept of lattice implication homomorphism image, which is proved to be a lattice implication algebra, is introduced.
讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法。
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.
给出了格蕴涵代数、MV代数、R 0代数等一些格上蕴涵代数之间的关系，并建立了它们的对偶代数。
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.
作为一个推论给出：蕴涵半格构成一个代[代数]簇。
As a consequence of the above result, we have that implicative semilattices form an algebraic variety.
作为一个推论给出：蕴涵半格构成一个代[代数]簇。
As a consequence of the above result, we have that implicative semilattices form an algebraic variety.
应用推荐