Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4943799 | Fuzzy Sets and Systems | 2017 | 15 Pages |
Abstract
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.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Artificial Intelligence
Authors
Zhudeng Wang, Yuan Wang, Meixia Niu, Xiaoying Hao,