Constructions of Implications Satisfying the Order Property on a Complete Lattice

In this paper, we further investigate the constructions of fuzzy connectives on a complete lattice. We firstly illustrate the concepts of left (right) semi-uninorms and implications satisfying the order property by means of some examples. Then we give out the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation.