EDBT 2026 Demo / reviewers in the wild / expert
William Javier Zuluaga Botero
dblp:200/7168 · also William Zuluaga
· DBLP profile ↗
6ranked-venue papers
0as first author
5since 2021 · last 2026
0000-0002-8798-9493ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 since 2021Theory of computation · 3 · 3 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2026 | Kalman structures derived from implicative very true MV-algebras
Jun Tao Wang 0001, Gustavo Pelaitay, William Javier Zuluaga Botero |
Fuzzy Sets Syst. | 4 |
| 2026 | A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
Jun Tao Wang 0001, William Javier Zuluaga Botero |
Fuzzy Sets Syst. | 3 |
| 2025 | An alternative definition of tense operators on residuated latticesabstractAbstract In this paper, we introduce and study an alternative definition of tense operators on residuated lattices. We give a categorical equivalence for the class of tense ICRDL-algebras, which is motivated by an old construction by J. Kalman. The paper concludes with some applications regarding descriptions of congruences and a 2-contextual translation. Ismael Calomino, Gustavo Pelaitay, William Javier Zuluaga Botero |
J. Log. Comput. | 3 |
| 2025 | A Stone-type duality for semilattices with adjunctionsabstractAbstract This paper focuses on semilattices with adjunctions (SLatas), which are semilattices with a greatest element enriched with a pair of adjoint maps. We develop a spectral-style duality for SLatas, building on prior topological dualities for monotone semilattices. As an application of this duality, we characterize SLata congruences through an adaptation of lower-Vietoris-type families. Furthermore, we investigate tense operators on semilattices with a greatest element, deriving a duality for this case by extending the results obtained for SLatas. Belén Gimenez, Gustavo Pelaitay, William Javier Zuluaga Botero |
J. Log. Comput. | 3 |
| 2021 | Some Modal and Temporal Translations of Generalized Basic Logic
Wesley Fussner, William Javier Zuluaga Botero |
RAMiCS | 2 |
| 2020 | On finite MTL-algebras that are representable as poset products of archimedean chainsabstractWe obtain a duality between the category of locally unital finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are in fact, sheaves of MTL-chains over Alexandrov spaces. Finally we give a concrete description for the studied poset products in terms of direct products and ordinal sums of finite MTL-algebras. José L. Castiglioni, William Javier Zuluaga Botero |
Fuzzy Sets Syst. | 2 |