Edit Profile (opens in new tab) Cordero, Pablo Co-Author Distance 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: 51 Publications since 1997, including 1 Additional arXiv Preprint Co-Authors: 30 Co-Authors with 50 Joint Publications 343 Co-Co-Authors all top 5 Co-Authors 0 single-authored 19 Cabrera, Inma P. 18 Mora, Angel 16 Ojeda-Aciego, Manuel 15 Pérez de Guzmán, Inmaculada 13 Enciso, Manuel 11 Gutiérrez, Gloria 11 Martínez del Castillo, Javier 7 Muñoz-Velasco, Emilio 5 García-Pardo, Francisca 4 Ojeda-Hernández, Manuel 4 Rodríguez-Jiménez, Jose Manuel 4 Rodríguez-Sanchez, Francisco Joaquin 3 De Baets, Bernard 3 Rodríguez-Lorenzo, Estrella 2 Aguilera, Gabriel 2 Fortes, Inmaculada 1 Bělohlávek, Radim 1 Bertet, Karell 1 Broughton, Michael 1 Enciso, Manolo 1 Ježková, L. 1 López-Rodríguez, Domingo 1 Merino, Salvador 1 Pattison, Tim R. 1 Peláez-Moreno, Carmen 1 Pérez-Gámez, Francisco 1 Sánchez, Sixto 1 Valverde-Albacete, Francisco José 1 Vychodil, Vilém 1 Weber, Derek all top 5 Serials 5 Information Sciences 4 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 28 Computer science (68-XX) 22 Order, lattices, ordered algebraic structures (06-XX) 14 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 38 Publications have been cited 166 times in 85 Documents Cited by ▼ Year ▼ On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008 Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 15 2014 Closure via functional dependence simplification. Zbl 1257.68064 Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 13 2012 A new algebraic tool for automatic theorem provers. Multisemilattice: A structure to improve the efficiency of provers in temporal logics. Zbl 1095.68110 Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P. 11 2004 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398 Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 11 2016 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290 Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 10 2016 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088 Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 9 2016 \(\text{SL}_{\text{FD} }\) logic: Elimination of data redundancy in knowledge representation. Zbl 1037.68136 Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P. 8 2002 On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011 García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J. 7 2014 Non-deterministic ideal operators: an adequate tool for formalization in data bases. Zbl 1142.68023 Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 Congruence relations on some hyperstructures. Zbl 1192.08001 Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 6 2009 Generalizations of lattices via non-deterministic operators. Zbl 1085.06005 Martí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.06004 Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 5 2010 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 5 2020 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520 Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 5 2018 On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004 Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B. 4 2017 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001 Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 4 2012 Canonical dichotomous direct bases. Zbl 1428.68291 Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 4 2017 Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Zbl 1237.68077 Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 3 2011 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078 Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 3 2009 Fuzzy closure systems: motivation, definition and properties. Zbl 07581220 Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio 3 2022 Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020 de Guzmán, I. P.; Cordero, P.; Enciso, M. 2 1999 Restricted ideals and the groupability property. Tools for temporal reasoning. Zbl 1249.03004 Martí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.68340 Aguilera, Gabriel; Cordero, Pablo; Enciso, Manuel; Mora, Angel; Perez de Guzmán, Inmaculada 2 2004 Multilattices via multisemilattices. Zbl 1038.06003 Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P. 2 2001 Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087 Cordero, P.; Enciso, M.; de Guzmán, I. P. 2 2002 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 Formal independence analysis. Zbl 1512.68327 Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel 2 2018 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037 Ježková, L.; Cordero, P.; Enciso, M. 2 2017 Inference of mixed information in formal concept analysis. Zbl 1430.68329 Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 2 2019 A tableaux-like method to infer all minimal keys. Zbl 1407.68126 Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 2 2014 A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507 Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 On the existence of isotone Galois connections between preorders. Zbl 1444.06003 Garcí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.06001 Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo 1 2022 Directness in fuzzy formal concept analysis. Zbl 1512.68324 Cordero, Pablo; Enciso, Manuel; Mora, Angel 1 2018 Scalable visual analytics in FCA. Zbl 07631920 Pattison, Tim; Enciso, Manuel; Mora, Ángel; Cordero, Pablo; Weber, Derek; Broughton, Michael 1 2022 A new kind of implication to reason with unknown information. Zbl 07493553 Pérez-Gámez, Francisco; Cordero, Pablo; Enciso, Manuel; Mora, Angel 1 2021 A logical approach for direct-optimal basis of implications. Zbl 1409.68285 Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Angel 1 2015 Generating isotone Galois connections on an unstructured codomain. Zbl 1432.06001 García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez, Francisco J. 1 2014 Fuzzy closure systems: motivation, definition and properties. Zbl 07581220 Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio 3 2022 Quasi-closed elements in fuzzy posets. Zbl 1480.06001 Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo 1 2022 Scalable visual analytics in FCA. Zbl 07631920 Pattison, Tim; Enciso, Manuel; Mora, Ángel; Cordero, Pablo; Weber, Derek; Broughton, Michael 1 2022 A new kind of implication to reason with unknown information. Zbl 07493553 Pérez-Gámez, Francisco; Cordero, Pablo; Enciso, Manuel; Mora, Angel 1 2021 Relational Galois connections between transitive fuzzy digraphs. Zbl 1446.06006 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 5 2020 Relational Galois connections between transitive digraphs: characterization and construction. Zbl 1457.05041 Cabrera, Inma P.; Cordero, Pablo; Muñoz-Velasco, Emilio; Ojeda-Aciego, Manuel; De Baets, Bernard 2 2020 Inference of mixed information in formal concept analysis. Zbl 1430.68329 Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 2 2019 Direct-optimal basis computation by means of the fusion of simplification rules. Zbl 1398.68520 Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 5 2018 Formal independence analysis. Zbl 1512.68327 Valverde-Albacete, Francisco J.; Peláez-Moreno, Carmen; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel 2 2018 Directness in fuzzy formal concept analysis. Zbl 1512.68324 Cordero, Pablo; Enciso, Manuel; Mora, Angel 1 2018 On the construction of adjunctions between a fuzzy preposet and an unstructured set. Zbl 1387.06004 Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B. 4 2017 Canonical dichotomous direct bases. Zbl 1428.68291 Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 4 2017 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037 Ježková, L.; Cordero, P.; Enciso, M. 2 2017 Data mining algorithms to compute mixed concepts with negative attributes: an application to breast cancer data analysis. Zbl 1392.68398 Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel 11 2016 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290 Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 10 2016 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088 Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 9 2016 A logical approach for direct-optimal basis of implications. Zbl 1409.68285 Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Angel 1 2015 On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008 Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 15 2014 On the definition of suitable orderings to generate adjunctions over an unstructured codomain. Zbl 1355.06011 García-Pardo, F.; Cabrera, I. P.; Cordero, P.; Ojeda-Aciego, M.; Rodríguez, F. J. 7 2014 A tableaux-like method to infer all minimal keys. Zbl 1407.68126 Cordero, P.; Enciso, M.; Mora, A.; Pérez de Guzmán, I. 2 2014 On the existence of isotone Galois connections between preorders. Zbl 1444.06003 García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez-Sanchez, Francisco J. 1 2014 Generating isotone Galois connections on an unstructured codomain. Zbl 1432.06001 García-Pardo, Francisca; Cabrera, Inma P.; Cordero, Pablo; Ojeda-Aciego, Manuel; Rodríguez, Francisco J. 1 2014 Closure via functional dependence simplification. Zbl 1257.68064 Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 13 2012 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001 Cabrera, 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.68077 Mora, A.; de Guzmán, I. P.; Enciso, M.; Cordero, P. 3 2011 A coalgebraic approach to non-determinism: applications to multilattices. Zbl 1222.06004 Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 5 2010 Congruence relations on some hyperstructures. Zbl 1192.08001 Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 6 2009 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078 Cabrera, 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.68023 Cordero, P.; Mora, A.; de Guzmán, I. P.; Enciso, M. 6 2008 Generalizations of lattices via non-deterministic operators. Zbl 1085.06005 Martí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.68110 Cordero, 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.68340 Aguilera, 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.03004 Martí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.68136 Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P. 8 2002 Bases for closed sets of implicants and implicates in temporal logic. Zbl 1034.68087 Cordero, P.; Enciso, M.; de Guzmán, I. P. 2 2002 Multilattices via multisemilattices. Zbl 1038.06003 Martí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.03507 Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 Structure theorems for closed sets of implicates/implicants in temporal logic. Zbl 0961.03020 de Guzmán, I. P.; Cordero, P.; Enciso, M. 2 1999 all cited Publications top 5 cited Publications all top 5 Cited by 97 Authors 27 Cordero, Pablo 20 Medina, Jesús 15 Ojeda-Aciego, Manuel 14 Ramírez-Poussa, Eloisa 12 Cabrera, Inma P. 11 Mora, Angel 10 Cornejo, Maria Eugenia 8 Krídlo, Ondrej 7 Antoni, Lubomir 7 Gutiérrez, Gloria 7 Krajči, Stanislav 7 Martínez del Castillo, Javier 6 Enciso, Manuel 4 Pérez de Guzmán, Inmaculada 4 Konecny, Jan 4 Muñoz-Velasco, Emilio 4 Ojeda-Hernández, Manuel 4 Vychodil, Vilém 3 Benítez-Caballero, María José 3 García-Pardo, Francisca 3 Koguep Njionou, Blaise Bleriot 3 Lele, Celestin 3 Rodríguez-Jiménez, Jose Manuel 3 Šešelja, Branimir 3 Ślęzak, Dominik 3 Tepavčević, Andreja 2 Awouafack, Daquin Cédric 2 Janostik, Radek 2 Krajca, Petr 2 López-Rodríguez, Domingo 2 Prade, Henri M. 2 Qi, Jianjun 2 Rodríguez-Lorenzo, Estrella 1 Aguilera, Gabriel 1 Aragón, Roberto G. 1 Barbot, Nelly 1 Bertet, Karell 1 Broughton, Michael 1 Chacón-Gómez, Fernando 1 De Baets, Bernard 1 Díaz-Moreno, Juan Carlos 1 Díaz, Juan Carlos 1 Diékouam Fotso, Luc Eméry 1 Dubois, Didier 1 Fariñas del Cerro, Luis 1 Fortes, Inmaculada 1 Hanika, Tom 1 Hirth, Johannes 1 Horn, Viktoria 1 Horváth, Eszter K. 1 Ježková, L. 1 Jong, Myong Guk 1 Kalampakas, Antonios 1 Kengne, Pierre Carole 1 Kováčová, Kristína 1 Kwuida, Léonard 1 Li, Deyu 1 Liñeiro-Barea, Valentín 1 Liu, Lianzhen 1 Liu, Lin 1 Lobo, David 1 López-Marchante, Víctor 1 Louscou-Bozapalidou, Olympia 1 Madrid, Nicolás 1 Maffeu, Line Nzoda 1 Marková, Eva 1 Medina-Bulo, Inmaculada 1 Miclet, Laurent 1 Morcillo, Pedro J. 1 Moreno, Ginés 1 Navareño, Pablo 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-Sanchez, Francisco Joaquin 1 Rubio-Manzano, Clemente 1 Ruiz-Calviño, Jorge 1 Sinclair-Desgagné, Bernard 1 Sokol, Pavol 1 Stepanović, Vanja 1 Stumme, Gerd 1 Temgoua, Etienne Alomo 1 Triska, Jan 1 Urbanova, Lucie 1 Weber, Derek 1 Wei, Ling 1 Wild, Marcel 1 Xu, Weihua 1 Xu, Yue 1 Zhai, Yanhui 1 Zhang, Chao 1 Zhang, Xiangyang all top 5 Cited in 21 Serials 16 Information Sciences 15 Fuzzy Sets and Systems 6 International Journal of Approximate Reasoning 5 International Journal of Computer Mathematics 4 Mathematical Methods in the Applied Sciences 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 Artificial Intelligence 1 Discrete Mathematics 1 Applied Mathematics and Computation 1 Kybernetika 1 Theoretical Computer Science 1 European Journal of Operational Research 1 Soft Computing 1 Journal of Discrete Mathematical Sciences & Cryptography 1 Fundamenta Informaticae 1 TWMS Journal of Pure and Applied Mathematics 1 Afrika Matematika all top 5 Cited in 9 Fields 55 Computer science (68-XX) 40 Order, lattices, ordered algebraic structures (06-XX) 29 Mathematical logic and foundations (03-XX) 6 General algebraic systems (08-XX) 4 Group theory and generalizations (20-XX) 2 Category theory; homological algebra (18-XX) 1 Combinatorics (05-XX) 1 Operations research, mathematical programming (90-XX) 1 Biology and other natural sciences (92-XX) Citations by Year