格蕴涵代数不等式的解 (2011年)

在格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集分别是L的一个凸子格和子格。