Edit Profile (opens in new tab) Cordero, Pablo Compute Distance To: Compute Author ID: cordero.pablo Published as: Cordero, P.; Cordero, Pablo Homepage: http://webpersonal.uma.es/de/pcordero/My_personal_web/Wellcome.html External Links: ORCID · ResearchGate · dblp Documents Indexed: 41 Publications since 1997 Co-Authors: 25 Co-Authors with 40 Joint Publications 298 Co-Co-Authors all top 5 Co-Authors 0 single-authored 14 Cabrera, Inma P. 14 de Guzmán, Inmaculada Pérez 14 Mora, Angel 13 Ojeda-Aciego, Manuel 11 Gutiérrez, Gloria 10 Enciso, Manuel 10 Martínez del Castillo, Javier 5 García-Pardo, Francisca 4 Rodríguez-Sanchez, Francisco Joaquin 3 De Baets, Bernard 3 Muñoz-Velasco, Emilio 3 Rodríguez-Jiménez, Jose Manuel 3 Rodríguez-Lorenzo, Estrella 2 Aguilera, Gabriel 1 Bělohlávek, Radim 1 Bertet, Karell 1 Enciso, Manolo 1 Fortes, Inmaculada 1 Ježková, L. 1 López-Rodríguez, Domingo 1 Martínez Javier 1 Merino, Salvador 1 Ojeda-Hernández, Manuel 1 Pérez-Gámez, Francisco 1 Vychodil, Vilém 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 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 International Journal of Approximate Reasoning 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 22 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 29 Publications have been cited 101 times in 54 Documents Cited by ▼ Year ▼ 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 On residuation in multilattices: filters, congruences, and homomorphisms. Zbl 1315.06008Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 10 2014 Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 8 2012 Generalizations of lattices via non-deterministic operators. Zbl 1085.06005Martínez, J.; Gutiérrez, G.; de Guzmán, I. P.; Cordero, P. 6 2005 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. 5 2008 Congruence relations on some hyperstructures. Zbl 1192.08001Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 5 2009 \(\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. 5 2002 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 5 2016 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 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 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 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. 4 2010 Fuzzy congruence relations on nd-groupoids. Zbl 1177.20078Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 3 2009 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 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 2 2012 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 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 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. 2 2017 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 A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P. 1 2000 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037Ježková, L.; Cordero, P.; Enciso, M. 1 2017 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 1 2017 Inference of mixed information in formal concept analysis. Zbl 1430.68329Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M. 1 2019 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 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 1 2018 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 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 1 2018 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. 2 2017 Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037Ježková, L.; Cordero, P.; Enciso, M. 1 2017 Canonical dichotomous direct bases. Zbl 1428.68291Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel 1 2017 Automated prover for attribute dependencies in data with grades. Zbl 1351.68088Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem 5 2016 Concept lattices with negative information: a characterization theorem. Zbl 1428.68290Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S. 5 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. 10 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 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 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 Closure via functional dependence simplification. Zbl 1257.68064Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G. 8 2012 Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M. 2 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. 4 2010 Congruence relations on some hyperstructures. Zbl 1192.08001Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel 5 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. 5 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. 5 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 62 Authors 20 Cordero, Pablo 13 Medina, Jesús 11 Ojeda-Aciego, Manuel 9 Ramírez-Poussa, Eloisa 8 Cabrera, Inma P. 8 Mora, Angel 7 Gutiérrez, Gloria 7 Martínez del Castillo, Javier 6 Cornejo, Maria Eugenia 6 Krídlo, Ondrej 5 Antoni, Lubomir 5 Krajči, Stanislav 4 de Guzmán, Inmaculada Pérez 4 Enciso, Manuel 4 Vychodil, Vilém 3 Rodríguez-Jiménez, Jose Manuel 2 Benítez-Caballero, M. José 2 García-Pardo, Francisca 2 Konecny, Jan 2 Šešelja, Branimir 2 Ślęzak, Dominik 2 Tepavčević, Andreja 1 Aguilera, Gabriel 1 Aragón, Roberto G. 1 Bertet, Karell 1 De Baets, Bernard 1 Díaz-Moreno, Juan Carlos 1 Díaz, Juan Carlos 1 Fortes, Inmaculada 1 Horváth, Eszter K. 1 Ježková, L. 1 Jong, Myong Guk 1 Kalampakas, Antonios 1 Lele, Celestin 1 Liñeiro-Barea, Valentín 1 Liu, Lianzhen 1 Liu, Lin 1 López-Rodríguez, Domingo 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 Ojeda-Hernández, Manuel 1 Pak, Chol Hong 1 Penabad, Jaime 1 Pérez-Gámez, Francisco 1 Pocs, Jozef 1 Qi, Jianjun 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 Wei, Ling 1 Xu, Yue 1 Zhang, Xiangyang all top 5 Cited in 15 Serials 12 Fuzzy Sets and Systems 11 Information Sciences 4 International Journal of Computer Mathematics 3 International Journal of Approximate Reasoning 3 Annals of Mathematics and Artificial Intelligence 2 Discrete Applied Mathematics 2 International Journal of General Systems 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 Afrika Matematika all top 5 Cited in 9 Fields 35 Computer science (68-XX) 29 Order, lattices, ordered algebraic structures (06-XX) 18 Mathematical logic and foundations (03-XX) 5 General algebraic systems (08-XX) 2 Group theory and generalizations (20-XX) 1 Combinatorics (05-XX) 1 Category theory; homological algebra (18-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 1 Biology and other natural sciences (92-XX) Citations by Year