针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.
In this article, according to the theory of logic algebra inequality, the notion of inequality in lattice implication algebra was introduced, three typical basic unary lattice implication algebra inequalities in lattice implication algebra L were investigated, and some properties and corollaries were obtained. We presents condition of solvable, and investigate several characterizations of solution set in unary lattice implication algebra inequalities.