Constructing strict left (right)-disjunctive left (right) semi-uninorms and coimplications satisfying the order property.
Fuzzy Sets and Systems(2017)
摘要
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.
更多查看译文
关键词
Fuzzy connective,Left (right) semi-uninorm,Coimplication,Strict left (right)-disjunctive,Upper (lower) approximation,Order property
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络