×
Author ID: cordero.pablo Recent zbMATH articles by "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

Publications by Year

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 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

Citations by Year