在格蕴涵代数中研究了带蕴涵算子的N元格蕴涵代数不等式,得到其有解的充分必要条件,同时还在b是L交既约元的情况下,找出该不等式的所有极大解,进而给出其具体解集.
The N-inequality with implication operator was studied in the lattice implication algebra.The necessary and sufficient conditions for existence of solution for the N-inequality will be presented respectively.In the case,that b is an irreducible element of L,the all maximal elements of solutions and detailed solution sets are given.