Strict Left (Right)-Conjunctive Left (Right) Semi-Uninorms and Implications Satisfying the Order Property
Zhudeng Wang · Applied and Computational Mathematics · 2017
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.