Ordering based on implications
Implication function I on a bounded lattice L is defined by means of some boundary conditions and monotonicity constraints. On the other hand, each implication function I on L defines a special relation which, in some cases, can be a (partial) order on L. We study the properties of I resulting into such (partial) orders. A special attention is given do situations yielding new bounded lattices.
implication bounded lattice partial order