格蕴涵代数不等式的解
Study on the Solutions of Inequalites in the Lattice Implication Algebra
-
摘要: 在格蕴涵代数中研究两类格蕴涵代数不等式,分别讨论了两类不等式有解的充分必要条件,在此基础上给出格蕴涵代数不等式的具体解集并证明其解集分别是L的一个凸子格和子格.Abstract: Abstract: Two calsses of inequalities are studied in the lattice implication algebra. The necessary and sufficient conditions for the existence of solutions for the inequalities were put under discussion respectively, based on which the detailed solution sets are given and the fact is confirmed that the solution sets of the two calsses of inequalities are a convex sub-lattice and a sub-lattice of L, respectively.