(2210-7713) Immediate consequences operator through ordered weighted average operators

[1] E. Bas, U. Yolcu, E. Egrioglu, Picture fuzzy regression functions approach for  nancial time series based on ridge regression and genetic algorithm, Journal of Computational and Applied Mathematics, 370 (2020), 112656.

[2] A. Colmerauer, H. Kanoui, P. Roussel, R. Pasero, Un systeme de communication homme-machine en Francais, Technical report, Groupe de Recherche en Intelligence Artificielle, Universidad de Aix-Marseille, 1973.

[3] M. E. Cornejo, D. Lobo, J. Medina, On the solvability of bipolar max-product fuzzy relation equations with the product negation, Journal of Computational and Applied Mathematics, 354 (2019), 520-532.

[4] M. E. Cornejo, J. Medina, E. Ramrez-Poussa, Algebraic structure and characterization of adjoint triples, Fuzzy Sets and Systems, 425 (2021), 117-139.

[5] M. E. Cornejo, J. Medina, I. Stajner-Papuga, A. Tepavcevic, Lattice valued aggregation operators applicable in digital forensics, Studies in Computational Intelligence, (2023), 1-7.

[6] C. V. Dam´asio, L. M. Pereira, Monotonic and residuated logic programs, Symbolic and Quantitative Approaches to Reasoning with Uncertainty, ECSQARU’01, pages 748-759. Lecture Notes in Artificial Intelligence, 2143, 2001.

[7] M. Davis, H. Putnam, A computing procedure for quanti cation theory, Journal of the ACM, 7 (1960), 201-215.

[8] M. V. Emden, R. Kowalski, The semantics of predicate logic as a programming language, Journal of the ACM, 23(4) (1976), 733-742.

[9] J. H. Gallier, Logic for computer science: Foundations of automatic theorem proving, Harper and Row Publishers, Inc., USA, 1985.

[10] P. Gilmore, A proof method for quanti cation theory, IBM Journal of Research and Development, 4 (1960), 28-35.

[11] N. V. Hung, V. M. Tam, N. H. Tuan, D. O’Regan, Convergence analysis of solution sets for fuzzy optimization problems, Journal of Computational and Applied Mathematics, 369 (2020), 112615.

[12] D. Jocic, I. Stajner-Papuga, Distributivity between 2-uninorms and Mayor's aggregation operators, Iranian Journal of Fuzzy Systems, 19(6) (2022), 13-27.

[13] P. Juli´an-Iranzo, C. Rubio-Manzano, A sound and complete semantics for a similarity-based logic programming language, Fuzzy Sets and Systems, 317 (2017), 1-26.

[14] M. Kifer, V. S. Subrahmanian, Theory of generalized annotated logic programming and its applications, Journal of Logic Programming, 12 (1992), 335-367.

[15] A. Kishor, A. K. Singh, N. R. Pal, Orness measure of OWA operators: A new approach, IEEE Transactions on Fuzzy Systems, 22(4) (2014), 1039-1045.

[16] R. Kowalski, Predicate logic as a programming language, Proceedings of IFIP’74, North Holland. Publishing Company, (1974), 569-574.

[17] I. Lizasoain, C. Moreno, OWA operators de ned on complete lattices, Fuzzy Sets and Systems, 224 (2013), 36-52.

[18] J. Lloyd, Foundations of logic programming, Springer Verlag, 1987.

[19] J. Medina, M. Ojeda-Aciego, P. Vojt´aˇs, Multi-adjoint logic programming with continuous semantics, Lecture Notes in Artificial Intelligence, 2173 (2001), 351-364.

[20] J. Medina, M. Ojeda-Aciego, P. Vojt´aˇs, Similarity-based uni cation: A multi-adjoint approach, Proc. EUSFLAT Conference in Fuzzy Logic and Technology, (2001), 273-276.

[21] J. Medina, M. Ojeda-Aciego, P. Vojt´aˇs, Similarity-based uni cation: A multi-adjoint approach, Fuzzy Sets and Systems, 146 (2004), 43-62.

[22] J. Medina, J. A. Torn´e-Zambrano, Fuzzy logic programming with generalized quanti ers, Springer International Publishing, 1040 (2023), 17-23.

[23] J. Medina, J. A. Torn´e-Zambrano, Immediate consequences operator on generalized quanti ers, Fuzzy Sets and Systems, 456 (2022), 72-91.

[24] R. Mesiar, A. Kolesarova, S. Borkotokey, 2-set-based extended functions, Iranian Journal of Fuzzy Systems, 18(3)(2021), 13-26.

[25] M. Ojeda-Hernndez, I. P. Cabrera, P. Cordero, Quasi-closed elements in fuzzy posets, Journal of Computational and Applied Mathematics, 404 (2022), 113390.

[26] D. Prawitz, An improved proof procedure, Theoria, 26 (1960), 102-139.

[27] U. Straccia, M. Ojeda-Aciego, C. V. Dam´asio, On  xed-points of multivalued functions on complete lattices and their application to generalized logic programs, SIAM Journal on Computing, 38(5) (2009), 1881-1911.

[28] A. Tarski, A lattice-theoretical  xpoint theorem and its applications, Pacific Journal of Mathematics, 5(2) (1955), 285-309.

[29] M. H. Van Emden, Quantitative deduction and its  xpoint theory, The Journal of Logic Programming, 1 (1986), 37-53.

[30] P. Vojt´aˇs, Fuzzy logic programming, Fuzzy Sets and Systems, 124(3) (2001), 361-370.

[31] R. R. Yager, On ordered weighted averaging aggregation operators in multi-criteria decision making, IEEE Transactions on Systems, Man, and Cybernetics, 18(1) (1988), 183-190.

[32] R. R. Yager, Families of OWA operators, Fuzzy Sets and Systems, 59(2) (1993), 125-148.