On N-inequality with Implication Operator in Lattice Implication Algebra
Long Xi-qing · Journal of Yibin University · 2012
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.