Abstract | ||
---|---|---|
In fuzzy logic and approximate reasoning the inference rule given by the Modus Tollens usually derives into an inequality involving three logical operators: a conjunction, an implication function and a negation. Until now, in this scenario the conjunction has been commonly modeled by a t-norm, but recently the possibility of using a more general conjunction has been pointed out. In this work, we want to generalize the Modus Tollens inequality by using a conjunctive uninorm instead of a t-norm, leading to the so-called U-Modus Tollens. First, we give a study of this new property for implication functions in general and then we specially focus on residual implications derived from uninorms. In all cases, we prove that there are a lot of solutions of the U-Modus Tollens and we give a characterization of all the solutions in some particular cases. |
Year | DOI | Venue |
---|---|---|
2020 | 10.1016/j.ijar.2020.10.003 | International Journal of Approximate Reasoning |
Keywords | DocType | Volume |
Modus Tollens,Uninorm,Implication function,RU-implication | Journal | 127 |
Issue | ISSN | Citations |
1 | 0888-613X | 0 |
PageRank | References | Authors |
0.34 | 0 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
I. Aguiló | 1 | 85 | 10.76 |
Juan Vicente Riera | 2 | 320 | 19.40 |
Jaume Suñer | 3 | 239 | 55.99 |
Joan Torrens | 4 | 1259 | 92.67 |