Constructing strict left (right)-disjunctive left (right) semi-uninorms and coimplications satisfying the order property

In this paper, we further study the constructions of left (right) semi-uninorms and coimplications on a complete lattice. We firstly give out the formulas for calculating the upper and lower approximation strict left (right)-disjunctive left (right) semi-uninorms of a binary operation. Then, we lay out the formulas for calculating the upper and lower approximation coimplications, which satisfy the order property, of a binary operation. Finally, we investigate the relationships between the lower approximation strict left (right)-disjunctive left (right) arbitrary ∧-distributive left (right) semi-uninorms and upper approximation right arbitrary ∨-distributive coimplications which satisfy the order property, and give some conditions such that the upper approximation strict left (right)-disjunctive left (right) semi-uninorms of a binary operation and lower approximation coimplication, which satisfies the order property, of the left (right) deresiduum of the binary operation satisfy the generalized dual modus ponens rule.