An overview of fuzzy logic connectives on the unit interval. (English) Zbl 1368.03028
Summary: The aim of this short paper is to give a simple look to the historical development of logical connectives for fuzzy sets and fuzzy logic. Concepts that have been (and still are) in the core of extensive theoretical research, like conjunction, disjunction, complement, subsethood and fuzzy conditionals, are considered in an informal way. An extensive list of essential references helps the interested reader to find sources for deeper study of the main subjects.
MSC:
| 03B52 | Fuzzy logic; logic of vagueness |
| 03-03 | History of mathematical logic and foundations |
| 01A60 | History of mathematics in the 20th century |
| 01A61 | History of mathematics in the 21st century |
Keywords:
fuzzy connectives; aggregation operators; t-norms; t-conorms; negations; uninorms; implication functionsReferences:
| [1] | Aguiló, I.; Suñer, J.; Torrens, J., A characterization of residual implications derived from left-continuous uninorms, Inf. Sci., 180, 3992-4005 (2010) · Zbl 1204.03028 |
| [2] | Alsina, C.; Frank, M. J.; Schweizer, B., Associative Functions. Triangular Norms and Copulas (2006), World Scientific: World Scientific New Jersey · Zbl 1100.39023 |
| [3] | Alsina, C.; Trillas, E.; Valverde, L., On non-distributive logical connectives for fuzzy sets theory, BUSEFAL, 3, 18-29 (1980) |
| [4] | (Baczyński, M.; Beliakov, G.; Bustince Sola, H.; Pradera, A., Advances in Fuzzy Implication Functions. Advances in Fuzzy Implication Functions, Studies in Fuzziness and Soft Computing, vol. 300 (2013), Springer: Springer Berlin, Heidelberg) · Zbl 1257.03013 |
| [5] | Baczyński, M.; Jayaram, B., Fuzzy Implications (2008), Springer: Springer Berlin, Heidelberg · Zbl 1147.03012 |
| [6] | Baczyński, M.; Jayaram, B., \((U, N)\)-implications and their characterizations, Fuzzy Sets Syst., 160, 2049-2062 (2009) · Zbl 1183.03023 |
| [7] | Baczyński, M.; Jayaram, B., Intersections between some families of \((U, N)\)- and RU-implications, Fuzzy Sets Syst., 167, 30-44 (2011) · Zbl 1256.03028 |
| [8] | Balasubramaniam, J.; Rao, C. J.M., On the distributivity of implication operators over T and S norms, IEEE Trans. Fuzzy Syst., 12, 194-198 (2004) |
| [9] | Bustince, H.; De Baets, B.; Fernandez, J.; Mesiar, R.; Montero, J., A generalization of the migrativity property of aggregation functions, Inf. Sci., 191, 76-85 (2012) · Zbl 1248.62003 |
| [10] | Bustince, H.; Montero, J.; Mesiar, R., Migrativity of aggregation functions, Fuzzy Sets Syst., 160, 766-777 (2009) · Zbl 1186.68459 |
| [11] | Calvo, T.; De Baets, B., On the generalization of the absorption equation, J. Fuzzy Math., 8, 141-149 (2000) · Zbl 0953.03063 |
| [12] | Calvo, T.; De Baets, B.; Fodor, J. C., The functional equations of Frank and Alsina for uninorms and nullnorms, Fuzzy Sets Syst., 120, 385-394 (2001) · Zbl 0977.03026 |
| [13] | Cignoli, R.; Esteva, F.; Godo, L.; Montagna, F., On a class of left-continuous t-norms, Fuzzy Sets Syst., 131, 283-296 (2002) · Zbl 1012.03032 |
| [14] | De Baets, B., Idempotent uninorms, Eur. J. Oper. Res., 118, 631-642 (1999) · Zbl 0933.03071 |
| [15] | De Baets, B.; Fodor, J., A single-point characterization of representable uninorms, Fuzzy Sets Syst., 202, 89-99 (2012) · Zbl 1268.03027 |
| [16] | Drewniak, J.; Drygaś, P., On a class of uninorms, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 10, 5-10 (2002) · Zbl 1053.03510 |
| [17] | Drewniak, J.; Drygaś, P.; Rak, E., Distributivity between uninorms and nullnorms, Fuzzy Sets Syst., 159, 1646-1657 (2008) · Zbl 1216.03058 |
| [18] | Drygaś, P., Discussion of the structure of uninorms, Kybernetika, 41, 213-226 (2005) · Zbl 1249.03093 |
| [19] | Drygaś, P., On the structure of continuous uninorms, Kybernetika, 43, 183-196 (2007) · Zbl 1132.03349 |
| [20] | Drygaś, P., On properties of uninorms with underlying t-norm and t-conorm given as ordinal sums, Fuzzy Sets Syst., 161, 149-157 (2010) · Zbl 1191.03039 |
| [21] | Drygaś, P.; Ruiz-Aguilera, D.; Torrens, J., A characterization of uninorms locally internal in A(e) with continuous underlying operators, Fuzzy Sets Syst. (2015), accepted with minor revision |
| [22] | Dubois, D.; Prade, H., Fuzzy Sets and Systems: Theory and Applications (1980), Academic Press: Academic Press New York · Zbl 0444.94049 |
| [23] | Durante, F.; Sarkoci, P., A note on the convex combination of triangular norms, Fuzzy Sets Syst., 159, 77-80 (2008) · Zbl 1173.03042 |
| [24] | Feng, Q.; Bin, Z., The distributive equation for idempotent uninorms and nullnorms, Fuzzy Sets Syst., 155, 446-458 (2005) · Zbl 1077.03514 |
| [25] | Fodor, J. C., Contrapositive symmetry on fuzzy implications, Fuzzy Sets Syst., 69, 141-156 (1995) · Zbl 0845.03007 |
| [26] | Fodor, J.; De Baets, B.; Calvo, T., Structure of uninorms with given continuous underlying t-norms and t-conorms, (Triangular Norms and Related Operators in Many-Valued Logics, Abstracts of the 23rd Linz Seminar on Fuzzy Set Theory (2003)), 49-50 |
| [27] | Fodor, J.; Roubens, M., Fuzzy Preference Modelling and Multicriteria Decision Support (1994), Kluwer Academic Publishers: Kluwer Academic Publishers Dordrecht · Zbl 0827.90002 |
| [28] | Fodor, J.; Rudas, I. J., On continuous triangular norms that are migrative, Fuzzy Sets Syst., 158, 1692-1697 (2007) · Zbl 1120.03035 |
| [29] | Fodor, J.; Rudas, I. J., An extension of the migrative property for triangular norms, Fuzzy Sets Syst., 168, 70-80 (2011) · Zbl 1229.03042 |
| [30] | Fodor, J.; Yager, R.; Rybalov, A., Structure of uninorms, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 5, 411-427 (1997) · Zbl 1232.03015 |
| [31] | Grzegorzewski, P., Probabilistic implications, Fuzzy Sets Syst., 226, 53-66 (2013) · Zbl 1284.68548 |
| [32] | Grzegorzewski, P., Survival implications, (Greco, S.; etal., IPMU 2012, Part II. IPMU 2012, Part II, CCIS, vol. 298 (2012)), 335-344 · Zbl 1252.03054 |
| [33] | Hlinená, D.; Kalina, M.; Král, P., A class of implications related to Yager’s \(f\)-implications, Inf. Sci., 260, 171-184 (2014) · Zbl 1328.03024 |
| [34] | Hlinená, D.; Kalina, M.; Král, P., Non-representable Uninorms, (Proceedings of EUROFUSE-2013 (2013)), 131-138 |
| [35] | Hu, S.; Li, Z., The structure of continuous uninorms, Fuzzy Sets Syst., 124, 43-52 (2001) · Zbl 0989.03058 |
| [36] | Jayaram, B., Rule reduction for efficient inferencing in similarity based reasoning, Int. J. Approx. Reason., 48, 156-173 (2008) · Zbl 1184.68511 |
| [37] | Jenei, S., New family of triangular norms via contrapositive symmetrization of residuated implications, Fuzzy Sets Syst., 110, 157-174 (2000) · Zbl 0941.03059 |
| [38] | (Klement, E. P.; Mesiar, R., Logical, Algebraic, Analytic, and Probabilistic Aspects of Triangular Norms (2005), Elsevier) · Zbl 1063.03003 |
| [39] | Klement, E. P.; Mesiar, R.; Pap, E., Triangular Norms (2000), Kluwer: Kluwer Dordrecht · Zbl 0972.03002 |
| [40] | Li, G.; Liu, H. W., Distributivity and conditional distributivity of a uninorm with continuous underlying operators over a continuous t-conorm, Fuzzy Sets Syst. (2015) · Zbl 1392.03051 |
| [41] | Li, G.; Liu, H. W.; Fodor, J., Single-point characterization of uninorms with nilpotent underlying t-norm and t-conorm, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 22 (2014) · Zbl 1323.03079 |
| [42] | Martín, J.; Mayor, G.; Torrens, J., On locally internal monotonic operations, Fuzzy Sets Syst., 137, 27-42 (2003) · Zbl 1022.03038 |
| [43] | Mas, M.; Mayor, G.; Torrens, J., \(t\)-Operators, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 7, 31-50 (1999) · Zbl 1087.03515 |
| [44] | Mas, M.; Mayor, G.; Torrens, J., The modularity condition for uninorms and \(t\)-operators, Fuzzy Sets Syst., 126, 207-218 (2002) · Zbl 0996.03038 |
| [45] | Mas, M.; Mayor, G.; Torrens, J., The distributivity condition for uninorms and \(t\)-operators, Fuzzy Sets Syst., 128, 209-225 (2002) · Zbl 1005.03047 |
| [46] | Mas, M.; Mayor, G.; Torrens, J., Corrigendum to “The distributivity condition for uninorms and \(t\)-operators”, Fuzzy Sets Syst.. Fuzzy Sets Syst., Fuzzy Sets Syst., 153, 297-299 (2005) |
| [47] | Mas, M.; Monserrat, M.; Ruiz-Aguilera, D.; Torrens, J., An extension of the migrative property for uninorms, Inf. Sci., 246, 191-198 (2013) · Zbl 1320.68193 |
| [48] | Mas, M.; Monserrat, M.; Ruiz-Aguilera, D.; Torrens, J., Migrative uninorms and nullnorms over t-norms and t-conorms, Fuzzy Sets Syst., 261, 20-32 (2015) · Zbl 1360.68844 |
| [49] | Mas, M.; Monserrat, M.; Torrens, J., A characterization of \((U, N), RU, QL\) and \(D\)-implications derived from uninorms satisfying the law of importation, Fuzzy Sets Syst., 161, 1369-1387 (2010) · Zbl 1195.03031 |
| [50] | Mas, M.; Monserrat, M.; Torrens, J.; Trillas, E., A survey on fuzzy implication functions, IEEE Trans. Fuzzy Syst., 15, 1107-1121 (2007) |
| [51] | Massanet, S.; Torrens, J., The law of importation versus the exchange principle on fuzzy implications, Fuzzy Sets Syst., 168, 47-69 (2011) · Zbl 1222.03028 |
| [52] | Massanet, S.; Torrens, J., Intersection of Yager’s implications with QL and \(D\)-implications, Int. J. Approx. Reason., 53, 467-479 (2012) · Zbl 1258.03028 |
| [53] | Massanet, S.; Torrens, J., On the characterization of Yager’s implications, Inf. Sci., 201, 1-18 (2012) · Zbl 1277.03021 |
| [54] | Mesiar, R.; Stupnanová, A., Open problems from the 12th International Conference on Fuzzy Set Theory and Its Applications, Fuzzy Sets Syst., 261, 112-123 (2015) · Zbl 1361.03024 |
| [55] | Ouyang, Y., Generalizing the migrativity of continuous t-norms, Fuzzy Sets Syst., 211, 73-83 (2013) · Zbl 1268.03028 |
| [56] | Ouyang, Y.; Fang, J. X., Some results of weighted quasi-arithmetic mean of continuous triangular norms, Inf. Sci., 178, 4396-4402 (2008) · Zbl 1158.03016 |
| [57] | Ouyang, Y.; Fang, J. X.; Li, G. L., On the convex combination of \(T_D\) and continuous triangular norms, Inf. Sci., 177, 2945-2953 (2007) · Zbl 1127.03020 |
| [58] | Petrík, M.; Mesiar, R., On the structure of special classes of uninorms, Fuzzy Sets Syst., 240, 22-38 (2014) · Zbl 1315.03099 |
| [59] | Qin, F.; Baczyński, M.; Xie, A., Distributive equations of implications based on continuous triangular norms, IEEE Trans. Fuzzy Syst., 20, 153-167 (2012) |
| [60] | Ruiz-Aguilera, D.; Torrens, J., Distributive idempotent uninorms, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 11, 413-428 (2003) · Zbl 1074.03026 |
| [61] | Ruiz-Aguilera, D.; Torrens, J., Distributivity of strong implications over conjunctive and disjunctive uninorms, Kybernetika, 42, 319-336 (2006) · Zbl 1249.03030 |
| [62] | Ruiz-Aguilera, D.; Torrens, J., Distributivity and conditional distributivity of a uninorm and a continuous \(t\)-conorm, IEEE Trans. Fuzzy Syst., 14, 180-190 (2006) · Zbl 1355.03016 |
| [63] | Ruiz-Aguilera, D.; Torrens, J., Distributivity of residual implications over conjunctive and disjunctive uninorms, Fuzzy Sets Syst., 158, 23-37 (2007) · Zbl 1114.03022 |
| [64] | Ruiz-Aguilera, D.; Torrens, J., \(R\)-implications and \(S\)-implications from uninorms continuous in \([0, 1]^2\) and their distributivity over uninorms, Fuzzy Sets Syst., 160, 832-852 (2009) · Zbl 1184.03014 |
| [65] | Ruiz-Aguilera, D.; Torrens, J.; De Baets, B.; Fodor, J., Some remarks on the characterization of idempotent uninorms, (Hüllermeier, E.; Kruse, R.; Hoffmann, F., IPMU 2010. IPMU 2010, Lecture Notes in Computer Science, vol. 6178 (2010), Springer-Verlag), 425-434 |
| [66] | Schweiser, B.; Sklar, A., Probabilistic Metric Spaces (1983), North-Holland: North-Holland New York · Zbl 0546.60010 |
| [67] | Trillas, E., Sobre funciones de negación en la teoría de conjuntos difusos, Stochastica, 3, 47-60 (1979) |
| [68] | Trillas, E.; Alsina, C., On the law \((p \wedge q \to r) = (p \to q) \vee(p \to r)\) in fuzzy logic, IEEE Trans. Fuzzy Syst., 10, 84-88 (2002) |
| [69] | Vetterlein, T., Regular left-continuous t-norms, Semigroup Forum, 77, 339-379 (2008) · Zbl 1172.03039 |
| [70] | Yager, R. R.; Rybalov, A., Uninorm aggregation operators, Fuzzy Sets Syst., 80, 111-120 (1996) · Zbl 0871.04007 |
| [71] | Zadeh, L. A., Fuzzy sets, Inf. Control, 8, 338-353 (1965) · Zbl 0139.24606 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
