William Javier Zuluaga Botero

dblp:200/7168 · also William Zuluaga · DBLP profile ↗
← Back
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
YearPublicationVenuePosition
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 lattices
abstract
Abstract 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 adjunctions
abstract
Abstract 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
RAMiCS2
2020 On finite MTL-algebras that are representable as poset products of archimedean chains
abstract
We 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