Name
Abstract | ||
|---|---|---|
This article deals with the N-contrapositive symmetry of fuzzy implication operators J verifying either Modus Ponens or Modus Tollens inequalities, in a similar and complementary framework to the one in which Fodor (“Contrapositive symmetry of fuzzy implications.” Fuzzy Set Syst 1995;69:141–156) did begin with the subject in fuzzy logic, that is, with the verification of J(a, b) = J(N(b), N(a)) for all a, b in [0,1] and some strong-negation function N. This property corresponds to the classical p → q = ¬q → ¬p. The aim of this article is to study that property in relation to either Modus Ponens or Modus Tollens meta-rules of inference when the functions J are taken among those that belong to the usual families of implications in fuzzy logic. That is, the contra-positive of S implications, R implications, Q implications, and Mamdani–Larsen operators, verifying either Modus Ponens or Modus Tollens inequalities or both, the conditionality's aspect on which lies the complementarity with Fodor. Within this study new types of implication functions are introduced and analyzed. © 2005 Wiley Periodicals, Inc. Int J Int Syst 20: 313–326, 2005. |
Year | DOI | Venue |
|---|---|---|
2005 | 10.1002/int.v20:3 | Int. J. Intell. Syst. |
Keywords | Field | DocType |
fuzzy logic | Discrete mathematics,Deduction theorem,Modus ponens,Modus tollens,Fuzzy logic,Fuzzy set,Artificial intelligence,Modus ponendo tollens,Constructive dilemma,Rule of inference,Mathematics | Journal |
Volume | Issue | ISSN |
20 | 3 | 0884-8173 |
Citations | PageRank | References |
10 | 1.22 | 2 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Enric Trillas | 1 | 387 | 70.95 |
| Claudi Alsina | 2 | 79 | 17.18 |
| Eloy Renedo | 3 | 16 | 5.34 |
| Ana Pradera | 4 | 159 | 16.09 |