Implication operators generating pairs of weak negations and their algebraic structure. (English) Zbl 1464.03091

Cornejo, M. Eugenia; Medina, Jesús; Ramírez-Poussa, Eloísa

Fuzzy Sets Syst. 405, 18-39 (2021).

Summary: Negations operators have been developed and applied in many fields such as image processing, decision making, mathematical morphology, fuzzy logic, etc. One of the most effective non-monotonic operators are weak negations. This paper studies the algebraic structure and the characterization of the adjoint triples and Galois implication pairs which provides a fixed pair of weak negations. The obtained results allow the user to select the best conjunctor and implications associated with the most suitable negation to be used in the computations of the problem to be solved.

MSC:

03G10	Logical aspects of lattices and related structures
03B52	Fuzzy logic; logic of vagueness
06A15	Galois correspondences, closure operators (in relation to ordered sets)

Keywords:

fuzzy sets; adjoint triples; negation operators; pair of weak negations

References:

[1]	Alcalde, C.; Burusco, A.; Díaz, J.; Fuentes-González, R.; Medina, J., Fuzzy property-oriented concept lattices in morphological image and signal processing, (Lecture Notes in Computer Science, vol. 7903 (2013)), 246-253
[2]	Alcalde, C.; Burusco, A.; Díaz-Moreno, J. C.; Medina, J., Fuzzy concept lattices and fuzzy relation equations in the retrieval processing of images and signals, Int. J. Uncertain. Fuzziness Knowl.-Based Syst., 25, Supplement-1, 99-120 (2017)
[3]	Antoni, L.; Krajči, S.; Krídlo, O., Representation of fuzzy subsets by Galois connections, Fuzzy Sets Syst., 326, 52-68 (2017), Si: FSTA 2016 · Zbl 1454.06002
[4]	Asiain, M. J.; Bustince, H.; Mesiar, R.; Kolesárová, A.; Takáč, Z., Negations with respect to admissible orders in the interval-valued fuzzy set theory, IEEE Trans. Fuzzy Syst., 26, 2, 556-568 (April 2018)
[5]	Bartl, E., Minimal solutions of generalized fuzzy relational equations: probabilistic algorithm based on greedy approach, Fuzzy Sets Syst., 260, 25-42 (2015) · Zbl 1335.03047
[6]	Bělohlávek, R.; Trneckova, M., Factorization of matrices with grades via essential entries, Fuzzy Sets Syst., 360, 97-116 (2019) · Zbl 1423.15014
[7]	Cabrera, I.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; De Baets, B., On the construction of adjunctions between a fuzzy preposet and an unstructured set, Fuzzy Sets Syst., 320, 81-92 (2017), Theme: Logic and Algebra · Zbl 1387.06004
[8]	Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; De Baets, B., Galois connections between a fuzzy preordered structure and a general fuzzy structure, IEEE Trans. Fuzzy Syst., 26, 3, 1274-1287 (2018)
[9]	Chajda, I., A representation of residuated lattices satisfying the double negation law, Soft Comput., 22, 6, 1773-1776 (Mar. 2018)
[10]	Cintula, P.; Klement, E. P.; Mesiar, R.; Navara, M., Residuated logics based on strict triangular norms with an involutive negation, Math. Log. Q., 52, 3, 269-282 (2006) · Zbl 1165.03326
[11]	Cintula, P.; Klement, E. P.; Mesiar, R.; Navara, M., Fuzzy logics with an additional involutive negation, Fuzzy Sets Syst., 161, 3, 390-411 (2010), Fuzzy Logics and Related Structures · Zbl 1189.03028
[12]	Cornejo, M. E.; Esteva, F.; Medina, J.; RamÃrez-Poussa, E., Relating adjoint negations with strong adjoint negations, (Kóczy, J. M.L., Proc. 7th European Symposium on Computational Intelligence and Mathematics (2015)), 66-71
[13]	Cornejo, M. E.; Lobo, D.; Medina, J., Syntax and semantics of multi-adjoint normal logic programming, Fuzzy Sets Syst., 345, 41-62 (2018), Theme: Logic · Zbl 1397.68026
[14]	Cornejo, M. E.; Lobo, D.; Medina, J., On the solvability of bipolar max-product fuzzy relation equations with the product negation, J. Comput. Appl. Math., 354, 520-532 (2019) · Zbl 1433.03125
[15]	Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., A comparative study of adjoint triples, Fuzzy Sets Syst., 211, 1-14 (2013) · Zbl 1272.03111
[16]	Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Attribute reduction in multi-adjoint concept lattices, Inf. Sci., 294, 41-56 (2015) · Zbl 1360.68805
[17]	Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Multi-adjoint algebras versus extended-order algebras, Appl. Math. Inf. Sci., 9, 2L, 365-372 (2015)
[18]	Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Multi-adjoint algebras versus non-commutative residuated structures, Int. J. Approx. Reason., 66, 119-138 (2015) · Zbl 1350.06003
[19]	Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Adjoint negations, more than residuated negations, Inf. Sci., 345, 355-371 (2016) · Zbl 06933870
[20]	Cornejo, M. E.; Medina, J.; Ramírez-Poussa, E., Characterizing reducts in multi-adjoint concept lattices, Inf. Sci., 422, 364-376 (2018) · Zbl 1436.68330
[21]	Cornelis, C.; Medina, J.; Verbiest, N., Multi-adjoint fuzzy rough sets: definition, properties and attribute selection, Int. J. Approx. Reason., 55, 412-426 (2014) · Zbl 1316.03028
[22]	Darais, D.; Horn, D. V., Constructive Galois connections, J. Funct. Program., 29, e11 (2019) · Zbl 1493.68104
[23]	Davey, B.; Priestley, H., Introduction to Lattices and Order (2002), Cambridge University Press · Zbl 1002.06001
[24]	Della Stella, M. E.; Guido, C., Associativity, commutativity and symmetry in residuated structures, Order, 30, 2, 363-401 (2013) · Zbl 1282.03026
[25]	(Denecke, K.; Erné, M.; Wismath, S. L., Galois Connections and Applications (2004), Kluwer Academic Publishers, Dordrecht: Kluwer Academic Publishers, Dordrecht The Netherlands) · Zbl 1050.06001
[26]	Díaz-Moreno, J. C.; Medina, J., Multi-adjoint relation equations: definition, properties and solutions using concept lattices, Inf. Sci., 253, 100-109 (2013) · Zbl 1320.68173
[27]	Díaz-Moreno, J. C.; Medina, J., Using concept lattice theory to obtain the set of solutions of multi-adjoint relation equations, Inf. Sci., 266, 218-225 (2014) · Zbl 1339.03043
[28]	Erné, M.; Koslowski, J.; Melton, A.; Strecker, G., A primer on galois connections, (York Academy of Science (1992)) · Zbl 0809.06006
[29]	Esteva, F., Negaciones en retículos completos, Stochastica, I, 49-66 (1975)
[30]	Esteva, F.; Domingo, X., Sobre funciones de negación en [0, 1], Stochastica, IV, 141-166 (1980)
[31]	Esteva, F.; Godo, L.; Hájek, P.; Navara, M., Residuated fuzzy logics with an involutive negation, Arch. Math. Log., 39, 2, 103-124 (2000) · Zbl 0965.03035
[32]	Esteva, F.; Trillas, E.; Domingo, X., Weak and strong negation functions in fuzzy set theory, (Proc. XI Int. Symposium on Multivalued Logic (1981)), 23-26 · Zbl 0548.03036
[33]	García-Pardo, F.; Cabrera, I.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F., On the definition of suitable orderings to generate adjunctions over an unstructured codomain, Inf. Sci., 286, 173-187 (2014) · Zbl 1355.06011
[34]	Georgescu, G.; Popescu, A., Non-commutative fuzzy structures and pairs of weak negations, Fuzzy Sets Syst., 143, 129-155 (2004) · Zbl 1036.06007
[35]	Krídlo, O.; Ojeda-Aciego, M., An Adjoint Pair for Intuitionistic L-Fuzzy Values, 167-173 (2019), Springer International Publishing: Springer International Publishing Cham · Zbl 1430.68334
[36]	Madrid, N.; Ojeda-Aciego, M., Measuring inconsistency in fuzzy answer set semantics, IEEE Trans. Fuzzy Syst., 19, 4, 605-622 (Aug. 2011)
[37]	Madrid, N.; Ojeda-Aciego, M.; Medina, J.; Perfilieva, I., L-fuzzy relational mathematical morphology based on adjoint triples, Inf. Sci., 474, 75-89 (2019) · Zbl 1441.68268
[38]	Massanet, S.; Recasens, J.; Torrens, J., Fuzzy implication functions based on powers of continuous t-norms, Int. J. Approx. Reason., 83, 265-279 (2017) · Zbl 1404.03024
[39]	Medina, J., Minimal solutions of generalized fuzzy relational equations: clarifications and corrections towards a more flexible setting, Int. J. Approx. Reason., 84, 33-38 (2017) · Zbl 1422.03119
[40]	Medina, J.; Ojeda-Aciego, M.; Ruiz-Calviño, J., Formal concept analysis via multi-adjoint concept lattices, Fuzzy Sets Syst., 160, 2, 130-144 (2009) · Zbl 1187.68589
[41]	Medina, J.; Ojeda-Aciego, M.; Vojtáš, P., Similarity-based unification: a multi-adjoint approach, Fuzzy Sets Syst., 146, 43-62 (2004) · Zbl 1073.68026
[42]	Moreno, G.; Penabad, J.; Vázquez, C., Beyond multi-adjoint logic programming, Int. J. Comput. Math., 92, 9, 1956-1975 (2015) · Zbl 1343.68045
[43]	Pradera, A.; Beliakov, G.; Bustince, H.; Baets, B. D., A review of the relationships between implication, negation and aggregation functions from the point of view of material implication, Inf. Sci., 329, 357-380 (2016), Special issue on Discovery Science · Zbl 1387.03023
[44]	Pradera, A.; Massanet, S.; Ruiz-Aguilera, D.; Torrens, J., The non-contradiction principle related to natural negations of fuzzy implication functions, Fuzzy Sets Syst., 359, 3-21 (2019), Theme: Many-valued Implications · Zbl 1423.03089
[45]	Rasouli, S.; Zarin, Z., On residuated lattices with left and right internal state, Fuzzy Sets Syst., 373, 37-61 (2019) · Zbl 1423.03259
[46]	San-Min, W., Logics for residuated pseudo-uninorms and their residua, Fuzzy Sets Syst., 218, 24-31 (2013), Theme: Logic and Algebra · Zbl 1302.03042
[47]	Sesma-Sara, M.; Lafuente, J.; Roldán, A.; Mesiar, R.; Bustince, H., Strengthened ordered directionally monotone functions. Links between the different notions of monotonicity, Fuzzy Sets Syst., 357, 151-172 (2019) · Zbl 1423.26057
[48]	Shmuely, Z., The structure of Galois connections, Pac. J. Math., 54, 2, 209-225 (1974) · Zbl 0275.06003
[49]	Trillas, E., Sobre negaciones en la teoría de conjuntos difusos, Stochastica, III, 47-60 (1979)