×
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: 41 Publications since 1997
Co-Authors: 25 Co-Authors with 40 Joint Publications
298 Co-Co-Authors

Publications by Year

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.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.
10
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
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
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
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
5
2016
Concept lattices with negative information: a characterization theorem. Zbl 1428.68290
Rodriguez-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.06011
Garcí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.68398
Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel
5
2016
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
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
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
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
Finitary coalgebraic multisemilattices and multilattices. Zbl 1312.06001
Cabrera, 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.68340
Aguilera, 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.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
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.
2
2017
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
A temporal negative normal form which preserves implicants and implicates. Zbl 1033.03507
Cordero, Pablo; Enciso, Manuel; de Guzmán, Inma P.
1
2000
Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037
Ježková, L.; Cordero, P.; Enciso, M.
1
2017
Canonical dichotomous direct bases. Zbl 1428.68291
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2017
Inference of mixed information in formal concept analysis. Zbl 1430.68329
Cordero, P.; Enciso, M.; Mora, A.; Rodriguez-Jiménez, J. M.
1
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.
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 digraphs: characterization and construction. Zbl 1457.05041
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.
2
2017
Fuzzy functional dependencies: a comparative survey. Zbl 1392.03037
Ježková, L.; Cordero, P.; Enciso, M.
1
2017
Canonical dichotomous direct bases. Zbl 1428.68291
Rodríguez-Lorenzo, Estrella; Cordero, Pablo; Enciso, Manuel; Mora, Ángel
1
2017
Automated prover for attribute dependencies in data with grades. Zbl 1351.68088
Belohlavek, Radim; Cordero, Pablo; Enciso, Manuel; Mora, Ángel; Vychodil, Vilem
5
2016
Concept lattices with negative information: a characterization theorem. Zbl 1428.68290
Rodriguez-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.68398
Rodríguez-Jiménez, Jose Manuel; Cordero, Pablo; Enciso, Manuel; Mora, Angel
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.
10
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
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
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
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.
2
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

Citations by Year