Strict Left (Right)-Conjunctive Left (Right) Semi-Uninorms and Implications Satisfying the Order Property

摘要

We firstly give out the formulas for calculating the upper and lower approximation strict left (right)-conjunctive left (right) semi-uninorms of a binary operation. Then, we lay bare the formulas for calculating the upper and lower approximation implications, which satisfy the order property, of a binary operation. Finally, we reveal the relationships between the upper approximation strict left (right)-conjunctive left (right) arbitrary ∨-distributive left (right) semi-uninorms and lower approximation right arbitrary ∧-distributive implications which satisfy the order property.