As consequences it is given some of structure theorems of lattice implication algebras.
作为推论，给出了格蕴涵代数的某些结构性定理。
参考来源 - 格蕴涵代数的素滤子·2,447,543篇论文数据，部分数据来源于NoteExpress
Simplify the axiom system of lattice implication algebras, which was given by y.
给出的格蕴含代数的公理系统，并给出另一个公理系统。
As consequences it is given some of structure theorems of lattice implication algebras.
作为推论，给出了格蕴涵代数的某些结构性定理。
The concept and some of fundamental properties of prime filters in lattice implication algebras are introduced.
格蕴涵代数中素滤子的概念被引入。
应用推荐