It is proved that finite "∧" and finite "∨" are closed in lattice implication algebra.3.
得到了格蕴涵代数中，成分的有限交与有限并具有封闭性的结论。
参考来源 - 格蕴涵代数及语言真值不确定性推理研究Lattice implication algebra is a kind of algebraic structure combined with lattice and implication algebra. It is an important method in the research of lattice-valued logic.
格蕴涵代数是将格与蕴涵代数结合起来的一种代数结构，是研究格值逻辑系统及其性质的一个重要途径。
参考来源 - 关于格值逻辑及自动推理的研究·2,447,543篇论文数据，部分数据来源于NoteExpress
格蕴涵代数中素滤子的概念被引入。
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.
应用推荐