Edit Profile (opens in new tab) Cordero, Pablo Compute Distance To: Compute Author ID: cordero.pablo Published as: Cordero, Pablo; Cordero, P. Homepage: http://webpersonal.uma.es/de/pcordero/My_personal_web/Wellcome.html External Links: ORCID · ResearchGate · dblp Documents Indexed: 43 Publications since 1997 Co-Authors: 28 Co-Authors with 42 Joint Publications 312 Co-Co-Authors all top 5 Co-Authors 0 single-authored 15 Cabrera, Inma P. 15 Mora, Angel 14 de Guzmán, Inmaculada Pérez 13 Ojeda-Aciego, Manuel 11 Enciso, Manuel 11 Gutiérrez, Gloria 10 Martínez del Castillo, Javier 5 García-Pardo, Francisca 4 Muñoz-Velasco, Emilio 4 Rodríguez-Sanchez, Francisco Joaquin 3 De Baets, Bernard 3 Rodríguez-Jiménez, Jose Manuel 3 Rodríguez-Lorenzo, Estrella 2 Aguilera, Gabriel 2 Ojeda-Hernández, Manuel 1 Bělohlávek, Radim 1 Bertet, Karell 1 Broughton, Michael 1 Enciso, Manolo 1 Fortes, Inmaculada 1 Ježková, L. 1 López-Rodríguez, Domingo 1 Martínez Javier 1 Merino, Salvador 1 Pattison, Tim R. 1 Pérez-Gámez, Francisco 1 Vychodil, Vilém 1 Weber, Derek all top 5 Serials 5 Information Sciences 3 Fuzzy Sets and Systems 3 International Journal of Computer Mathematics 2 Discrete Applied Mathematics 2 Mathematical Methods in the Applied Sciences 2 International Journal of Approximate Reasoning 2 Annals of Mathematics and Artificial Intelligence 1 Acta Informatica 1 Discrete Mathematics 1 Applied Mathematics and Computation 1 Journal of Computational and Applied Mathematics 1 Kybernetika 1 Reports on Mathematical Logic 1 Journal of Applied Non-Classical Logics 1 Logic Journal of the IGPL 1 Bulletin of the European Association for Theoretical Computer Science EATCS 1 WSEAS Transactions on Mathematics all top 5 Fields 24 Computer science (68-XX) 19 Order, lattices, ordered algebraic structures (06-XX) 13 Mathematical logic and foundations (03-XX) 4 General algebraic systems (08-XX) 3 Combinatorics (05-XX) 3 Group theory and generalizations (20-XX) 1 Field theory and polynomials (12-XX) 1 Fluid mechanics (76-XX) 1 Statistical mechanics, structure of matter (82-XX) 1 Biology and other natural sciences (92-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 31 Publications have been cited 121 times in 61 Documents Cited by ▼ Year ▼ On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 12 2014 A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics. Zbl 1095.68110Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P. 11 2004 Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 10 2012 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 6 2016 Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 \(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P. 6 2002 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 6 2016 Congruence relations on some hyperstructures. Zbl 1192.08001Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 6 2009 Generalizations of lattices via non-deterministic operators. Zbl 1085.06005Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P. 6 2005 A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 5 2010 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 5 2016 On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J. 5 2014 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 4 2012 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2017 On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B. 3 2017 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 3 2009 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2018 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087Cordero, P.; Enciso, M.; de Guzmán, I. P. 2 2002 Multilattices via multisemilattices. Zbl 1038.06003Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P. 2 2001 Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020de Guzmán, I. P.; Cordero, P.; Enciso, M. 2 1999 Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 2 2011 Restricted ideals and the groupability property. Tools for temporal reasoning. Zbl 1249.03004Martínez, J.; Cordero, P.; Gutiérrez, G.; de Guzmán, I. P. 2 2003 A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada 2 2004 A tableaux-like method to infer all minimal keys. Zbl 1407.68126Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 1 2014 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 1 2019 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 1 2020 Quasi-closed elements in fuzzy posets. Zbl 1480.06001Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo 1 2022 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037Ježková, L.; Cordero, P.; Enciso, M. 1 2017 A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 On the existence of isotone Galois connections between preorders. Zbl 1444.06003García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J. 1 2014 Quasi-closed elements in fuzzy posets. Zbl 1480.06001Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo 1 2022 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 1 2020 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 1 2019 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2018 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 3 2017 On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B. 3 2017 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037Ježková, L.; Cordero, P.; Enciso, M. 1 2017 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 6 2016 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 6 2016 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 5 2016 On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 12 2014 On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J. 5 2014 A tableaux-like method to infer all minimal keys. Zbl 1407.68126Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 1 2014 On the existence of isotone Galois connections between preorders. Zbl 1444.06003García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J. 1 2014 Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 10 2012 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 4 2012 Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 2 2011 A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 5 2010 Congruence relations on some hyperstructures. Zbl 1192.08001Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 6 2009 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 3 2009 Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 Generalizations of lattices via non-deterministic operators. Zbl 1085.06005Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P. 6 2005 A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics. Zbl 1095.68110Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P. 11 2004 A non-explosive treatment of functional dependencies using rewriting logic. Zbl 1105.68340Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada 2 2004 Restricted ideals and the groupability property. Tools for temporal reasoning. Zbl 1249.03004Martínez, J.; Cordero, P.; Gutiérrez, G.; de Guzmán, I. P. 2 2003 \(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P. 6 2002 Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087Cordero, P.; Enciso, M.; de Guzmán, I. P. 2 2002 Multilattices via multisemilattices. Zbl 1038.06003Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P. 2 2001 A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020de Guzmán, I. P.; Cordero, P.; Enciso, M. 2 1999 all cited Publications top 5 cited Publications all top 5 Cited by 74 Authors 22 Cordero, Pablo 14 Medina, Jesús 12 Ojeda-Aciego, Manuel 9 Cabrera, Inma P. 9 Mora, Angel 9 Ramírez-Poussa, Eloisa 7 Cornejo, Maria Eugenia 7 Gutiérrez, Gloria 7 Martínez del Castillo, Javier 6 Krídlo, Ondrej 5 Antoni, Lubomir 5 Enciso, Manuel 5 Krajči, Stanislav 4 de Guzmán, Inmaculada Pérez 4 Vychodil, Vilém 3 Rodríguez-Jiménez, Jose Manuel 2 Awouafack, Daquin Cédric 2 Benítez-Caballero, María José 2 García-Pardo, Francisca 2 Koguep Njionou, Blaise Bleriot 2 Konecny, Jan 2 Lele, Celestin 2 López-Rodríguez, Domingo 2 Muñoz-Velasco, Emilio 2 Ojeda-Hernández, Manuel 2 Qi, Jianjun 2 Šešelja, Branimir 2 Ślęzak, Dominik 2 Tepavčević, Andreja 1 Aguilera, Gabriel 1 Aragón, Roberto G. 1 Bertet, Karell 1 Broughton, Michael 1 De Baets, Bernard 1 Díaz-Moreno, Juan Carlos 1 Díaz, Juan Carlos 1 Diékouam Fotso, Luc Eméry 1 Fortes, Inmaculada 1 Horváth, Eszter K. 1 Ježková, L. 1 Jong, Myong Guk 1 Kalampakas, Antonios 1 Kengne, Pierre Carole 1 Li, Deyu 1 Liñeiro-Barea, Valentín 1 Liu, Lianzhen 1 Liu, Lin 1 Louscou-Bozapalidou, Olympia 1 Maffeu, Line Nzoda 1 Medina-Bulo, Inmaculada 1 Morcillo, Pedro J. 1 Moreno, Ginés 1 Nganou, Jean Bernard 1 Pak, Chol Hong 1 Pattison, Tim R. 1 Penabad, Jaime 1 Pérez-Gámez, Francisco 1 Pocs, Jozef 1 Qian, Ting 1 Radeleczki, Sándor 1 Rodríguez-Lorenzo, Estrella 1 Rodríguez-Sanchez, Francisco Joaquin 1 Ruiz-Calviño, Jorge 1 Stepanović, Vanja 1 Temgoua, Etienne Alomo 1 Triska, Jan 1 Urbanova, Lucie 1 Weber, Derek 1 Wei, Ling 1 Xu, Weihua 1 Xu, Yue 1 Zhai, Yanhui 1 Zhang, Chao 1 Zhang, Xiangyang all top 5 Cited in 17 Serials 12 Fuzzy Sets and Systems 11 Information Sciences 5 International Journal of Approximate Reasoning 4 International Journal of Computer Mathematics 3 Annals of Mathematics and Artificial Intelligence 2 Discrete Applied Mathematics 2 International Journal of General Systems 2 International Journal of Mathematics and Mathematical Sciences 2 Journal of Computational and Applied Mathematics 1 Discrete Mathematics 1 Mathematical Methods in the Applied Sciences 1 Applied Mathematics and Computation 1 Kybernetika 1 Soft Computing 1 Journal of Discrete Mathematical Sciences & Cryptography 1 TWMS Journal of Pure and Applied Mathematics 1 Afrika Matematika all top 5 Cited in 8 Fields 39 Computer science (68-XX) 32 Order, lattices, ordered algebraic structures (06-XX) 19 Mathematical logic and foundations (03-XX) 5 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Biology and other natural sciences (92-XX) Citations by Year