×
Compute Distance To:
Author ID: cordero.pablo Recent zbMATH articles by "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: 42 Publications since 1997
Co-Authors: 25 Co-Authors with 41 Joint Publications
304 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

31 Publications have been cited 108 times in 58 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.68110
Cordero, P.; Gutiérrez, G.; Martínez, J.; de Guzmán, I. P.
11
2004
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.
11
2014
Closure via functional dependence simplification. Zbl 1257.68064
Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G.
8
2012
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
Concept lattices with negative information: a characterization theorem. Zbl 1428.68290
Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S.
6
2016
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
5
2016
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
5
2016
Congruence relations on some hyperstructures. Zbl 1192.08001
Cabrera, 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.68136
Cordero, Pablo; Enciso, Manolo; Mora, Angel; de Guzmán, Inmaculada P.
5
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.
5
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.
5
2008
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.
4
2010
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
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.
3
2017
Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
3
2012
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
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
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
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.
2
2011
Canonical dichotomous direct bases. Zbl 1428.68291
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
2
2017
Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037
Ježková, L.; Cordero, P.; Enciso, M.
1
2017
A tableaux-like method to infer all minimal keys. Zbl 1407.68126
Cordero, 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.68520
Rodríguez-Lorenzo, Estrella; Bertet, Karell; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2018
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
1
2020
A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507
Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P.
1
2000
Inference of mixed information in formal concept analysis. Zbl 1430.68329
Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M.
1
2019
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
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
1
2020
Quasi-closed elements in fuzzy posets. Zbl 1480.06001
Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo
1
2022
Quasi-closed elements in fuzzy posets. Zbl 1480.06001
Ojeda-Hernández, Manuel; Cabrera, Inma P.; Cordero, Pablo
1
2022
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
1
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
1
2020
Inference of mixed information in formal concept analysis. Zbl 1430.68329
Cordero, 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.68520
Rodrí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.06004
Cabrera, I. P.; Cordero, P.; García-Pardo, F.; Ojeda-Aciego, M.; de Baets, B.
3
2017
Canonical dichotomous direct bases. Zbl 1428.68291
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
2
2017
Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037
Ježková, L.; Cordero, P.; Enciso, M.
1
2017
Concept lattices with negative information: a characterization theorem. Zbl 1428.68290
Rodriguez-Jimenez, J. M.; Cordero, P.; Enciso, M.; Rudolph, S.
6
2016
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
5
2016
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
5
2016
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.
11
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.
5
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.
1
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
Closure via functional dependence simplification. Zbl 1257.68064
Mora, A.; Cordero, P.; Enciso, M.; Fortes, I.; Aguilera, G.
8
2012
Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001
Cabrera, I. P.; Cordero, P.; Gutiérrez, G.; Martínez, J.; Ojeda-Aciego, M.
3
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.
2
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.
4
2010
Congruence relations on some hyperstructures. Zbl 1192.08001
Cabrera, Inma P.; Cordero, Pablo; Gutiérrez, Gloria; Martínez, Javier; Ojeda-Aciego, Manuel
5
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.
5
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.
5
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 69 Authors

21 Cordero, Pablo
14 Medina, Jesús
11 Ojeda-Aciego, Manuel
9 Cabrera, Inma P.
9 Ramírez-Poussa, Eloisa
8 Mora, Angel
7 Cornejo, Maria Eugenia
7 Gutiérrez, Gloria
7 Martínez del Castillo, Javier
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, María José
2 García-Pardo, Francisca
2 Konecny, Jan
2 Lele, Celestin
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 Awouafack, Daquin Cédric
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 Koguep Njionou, Blaise Bleriot
1 Li, Deyu
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 Muñoz-Velasco, Emilio
1 Nganou, Jean Bernard
1 Pak, Chol Hong
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 Wei, Ling
1 Xu, Weihua
1 Xu, Yue
1 Zhai, Yanhui
1 Zhang, Chao
1 Zhang, Xiangyang

Citations by Year