A review of the relationships between implication, negation and aggregation functions from the point of view of material implication

Information Sciences

Volumn 329, Issue , 2016, Pages 357-380

  Pradera, A ^a   Beliakov, G ^b   Bustince, H ^c   De Baets, B ^d  

^a UNIVERSIDAD REY JUAN CARLOS   (Spain)

^b DEAKIN UNIVERSITY   (Australia)

^c PUBLIC UNIVERSITY OF NAVARRE   (Spain)

^d GHENT UNIVERSITY   (Belgium)

Author keywords

Aggregation function; Disjunctor; Implication and aggregation functions properties; Implication function; Material implication; Negation function

Indexed keywords

EQUIVALENCE CLASSES; FUNCTIONS; FUZZY LOGIC;

AGGREGATION FUNCTIONS; DISJUNCTOR; FUZZY FRAMEWORKS; IMPLICATION FUNCTIONS; LOGICAL EQUIVALENCE; NEGATION FUNCTIONS; UNIT INTERVALS;

FUZZY INFERENCE;

EID: 84949655713     PISSN: 00200255     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ins.2015.09.033     Document Type: Article

References (63)

1. I. Aguiló, M. Carbonell, J. Suñer, and J. Torrens Dual representable aggregation functions and their derived S-implications E. Hüllermeier, R. Kruse, F. Hoffmann, Proceedings of International Conference on Information Processing and Management of Uncertainty, IPMU Volume 6178 of Lecture Notes in Computer Science 2010 Springer 408 417
2. C. Alsina, M. Frank, and B. Schweizer Associative functions. Triangular Norms and Copulas 2006 World Scientific Singapore
3. M. Baczyński Fuzzy implication functions: recent advances Mathw. Soft Comput. 19 1 2012 13 19
4. M. Baczyński, G. Beliakov, H. Bustince, and A. Pradera Advances in Fuzzy Implication Functions 2013 Springer Berlin, Heidelberg
5. M. Baczyński, and B. Jayaram Fuzzy Implications 2008 Springer Berlin, Heidelberg
6. B.R.C. Bedregal, G.P. Dimuro, H. Bustince, and E. Barrenechea New results on overlap and grouping functions Inf. Sci. 249 2013 148 170
7. G. Beliakov, A. Pradera, and T. Calvo Aggregation Functions: A Guide for Practitioners 2007 Springer Berlin, Heidelberg
8. H. Bustince, P. Burillo, and F. Soria Automorphisms, negations and implication operators Fuzzy Sets Syst. 134 2 2003 209 229
9. H. Bustince, J. Fernández, A. Kolesárová, and R. Mesiar Directional monotonicity of fusion functions Eur. J. Oper. Res. 244 1 2015 300 308 10.1016/j.ejor.2015.01.018
10. H. Bustince, J. Fernández, R. Mesiar, F.J. Montero de Juan, and R. Orduna Overlap functions Nonlinear Anal.: Theory Methods Appl. 73 2010 1488 1499
11. H. Bustince, J. Fernández, J. Sanz, M. Baczyński, and R. Mesiar Construction of strong equality index from implication operators Fuzzy Sets Syst. 211 2013 15 33
12. H. Bustince, M. Pagola, R. Mesiar, E. Hüllermeier, and F. Herrera Grouping, overlap, and generalized bientropic functions for fuzzy modeling of pairwise comparisons IEEE Trans. Fuzzy Syst. 20 3 2012 405 415
13. T. Calvo, B. De Baets, and J. Fodor The functional equations of Frank and Alsina for uninorms and nullnorms Fuzzy Sets Syst. 120 2001 385 394
14. T. Calvo, G. Mayor, and R. Mesiar Aggregation Operators. New Trends and Applications 2002 Physica-Verlag Heidelberg, New York
15. M. Carbonell, and J. Torrens Continuous R-implications generated from representable aggregation functions Fuzzy Sets Syst. 161 17 2010 2276 2289
16. B. De Baets, and J. Fodor Residual operators of uninorms Soft Comput. 3 2 1999 89 100
17. B. De Baets, and R. Mesiar Residual implicators of continuous t-norms Proceedings of the Fourth European Congress on Intelligent Techniques and Soft Computing 1996 ELITE Aachen, Germany 27 31
18. K. Demirli, and B. De Baets Basic properties of implicators in a residual framework. Tatra Mt. Math. Publ. 16 1999 31 46
19. G.P. Dimuro, and B.C. Bedregal On residual implications derived from overlap functions Inf. Sci. 312 2015 78 88 10.1016/j.ins.2015.03.049
20. G.P. Dimuro, B.C. Bedregal, and R.H.N. Santiago On (G,N)-implications derived from grouping functions Inf. Sci. 279 2014 1 17 10.1016/j.ins.2014.04.021
21. J. Drewniak Invariant fuzzy implications Soft Comput. 10 10 2006 979 980
22. J. Drewniak, and J. Sobera Compositions of fuzzy implications M. Baczyński, G. Beliakov, H. Bustince, A. Pradera, Advances in Fuzzy Implication Functions 2013 Springer Berlin, Heidelberg 155 176
23. D. Dubois, and H. Prade A theorem on implication functions defined from triangular norms Stochastica VIII 3 1984 267 279
24. F. Durante, E. Klement, R. Mesiar, and C. Sempi Conjunctors and their residual implicators: characterizations and construction methods Mediterr. J. Math. 4 2007 343 356
25. J. Fodor On fuzzy implication operators Fuzzy Sets Syst. 42 1991 293 300
26. J. Fodor A new look at fuzzy connectives Fuzzy Sets Syst. 57 1993 141 148
27. J. Fodor Contrapositive symmetry of fuzzy implications Fuzzy Sets Syst. 69 2 1995 141 156 http://dx.doi.org/10.1016/0165-0114(94)00210-X
28. J. Fodor, and T. Keresztfalvi Nonstandard conjunctions and implications in fuzzy logic. Int. J. Approx. Reasoning 12 2 1995 69 84
29. J. Fodor, and M. Roubens Fuzzy Preference Modelling and Multicriteria Decision Support 1994 Kluwer Academic Publishers
30. M. Grabisch, J. Marichal, R. Mesiar, and E. Pap Aggregation Functions 2009 Cambridge University Press
31. D. Hlinená, M. Kalina, and P. Král' Implication functions generated using functions of one variable M. Baczyński, G. Beliakov, H. Bustince, A. Pradera, Advances in Fuzzy Implication Functions 2013 Springer Berlin, Heidelberg 125 154
32. S. Jenei How to construct left-continuous triangular norms-state of the art Fuzzy Sets Syst. 143 2004 27 45
33. A. Jurio, H. Bustince, M. Pagola, A. Pradera, and R.R. Yager Some properties of overlap and grouping functions and their application to image thresholding Fuzzy Sets Syst. 229 2013 69 90
34. E. Klement, R. Mesiar, and E. Pap Triangular Norms 2000 Kluwer Dordrecht
35. H.-W. Liu Two classes of pseudo-triangular norms and fuzzy implications Comput. Math. Appl. 61 4 2011 783 789
36. H.-W. Liu Semi-uninorms and implications on a complete lattice Fuzzy Sets Syst. 191 2012 72 82
37. G. Lucca, J.A. Sanz, G.P. Dimuro, B.C. Bedregal, R. Mesiar, A. Kolesárová, H. Bustince, Pre-aggregation functions: construction and an application, IEEE Trans. Fuzzy Syst.(in press). http://dx.doi.org/10.1109/TFUZZ.2015.2453020.
38. K. Maes, and B. De Baets Negation and affirmation: the role of involutive negators Soft Comput. 11 7 2007 647 654 10.1007/s00500-006-0127-x
39. K. Maes, and B. De Baets On the structure of left-continuous t-norms that have a continuous contour line Fuzzy Sets Syst. 158 2007 843 860
40. M. Mas, M. Monserrat, and J. Torrens Two types of implications derived from uninorms Fuzzy Sets Syst. 158 23 2007 2612 2626 http://dx.doi.org/10.1016/j.fss.2007.05.007
41. M. Mas, M. Monserrat, and J. Torrens A characterization of (U,N), RU, QL and D-implications derived from uninorms satisfying the law of importation Fuzzy Sets Syst. 161 10 2010 1369 1387
42. M. Mas, M. Monserrat, J. Torrens, and E. Trillas A survey on fuzzy implication functions IEEE Trans. Fuzzy Syst. 15 6 2007 1107 1121
43. S. Massanet, G. Mayor, R. Mesiar, and J. Torrens On fuzzy implications: an axiomatic approach Int. J. Approx. Reason. 54 9 2013 1471 1482
44. S. Massanet, and J. Torrens The law of importation versus the exchange principle on fuzzy implications Fuzzy Sets Syst. 168 1 2011 47 69
45. S. Massanet, and J. Torrens On the vertical threshold generation method of fuzzy implication and its properties Fuzzy Sets Syst. 226 2013 32 52
46. S. Massanet, and J. Torrens An overview of construction methods of fuzzy implications M. Baczyński, G. Beliakov, H. Bustince, A. Pradera, Advances in Fuzzy Implication Functions 2013 Springer Berlin, Heidelberg 1 30
47. G. Mayor, and J. Torrens On a class of binary operations: non-strict archimedean aggregation functions Proceedings of International Symposium on Multiple-Valued Logic, ISMVL 88 1988 Palma de Mallorca, Spain 54 59
48. Y. Ouyang On fuzzy implications determined by aggregation operators Inf. Sci. 193 2012 153 162
49. A. Pradera, G. Beliakov, and H. Bustince Aggregation functions and contradictory information Fuzzy Sets Syst. 191 2012 41 61
50. A. Pradera, G. Beliakov, H. Bustince, and J. Fernández On (TS,N)-fuzzy implications Proceedings of the 6th International Summer School on Aggregation Operators 2011 93 98
51. A. Pradera, and E. Trillas Aggregation, non-contradiction and excluded-middle Mathw. Soft Comput. XIII 2006 189 201
52. D. Ruiz-Aguilera, and J. Torrens Residual implications and co-implications from idempotent uninorms Kybernetika 40 1 2004 21 38
53. D. Ruiz-Aguilera, and J. Torrens Distributivity of residual implications over conjunctive and disjunctive uninorms Fuzzy Sets Syst. 158 1 2007 23 37
54. 2 and their distributivity over uninorms Fuzzy Sets Syst. 160 6 2009 832 852
55. Y. Shi, B. Van Gasse, D. Ruan, and E.E. Kerre On dependencies and independencies of fuzzy implication axioms Fuzzy Sets Syst. 161 10 2010 1388 1405
56. V. Torra, and Y. Narukawa Modeling Decisions: Information Fusion and Aggregation Operators 2007 Springer
57. E. Trillas, and L. Valverde On some functionally expressible implications for fuzzy set theory Proceedings of the 3rd International Seminar on Fuzzy Set Theory 1981 Linz, Austria 173 190
58. Z. Wang Generating pseudo-t-norms and implication operators Fuzzy Sets Syst. 157 3 2006 398 410
59. Z. Wang, and J. Xuan Fang Residual coimplicators of left and right uninorms on a complete lattice Fuzzy Sets Syst. 160 14 2009 2086 2096 10.1016/j.fss.2008.10.007
60. Z. Wang, and Y. Yu Pseudo-t-norms and implication operators on a complete Brouwerian lattice Fuzzy Sets Syst. 132 1 2002 113 124
61. R. Yager On some new classes of implication operators and their role in approximate reasoning Inf. Sci. 167 1-4 2004 193 216
62. R. Yager Modeling holistic fuzzy implication using co-copulas. Fuzzy Optim. Decisi. Mak. 5 2006 207 226
63. R. Yager, and A. Rybalov Uninorm aggregation operators Fuzzy Sets Syst. 80 1996 111 120