3 papers
math.LO2026
A categorical equivalence for monadic algebras of first-order substructural logics motivated by Kalman's construction
Juntao Wang, Mei Wang, William Zuluaga Botero
The category , whose objects are c-differential residuated distributive lattices that satisfy the condition , is the image of the category $\mathbb{RDL…
math.LO2023
An alternative definition of tense operators on residuated lattices
Ismael Calomino, Gustavo Pelaitay, William Zuluaga Botero
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 residuated lattic…
math.LO2023
Bounded distributive lattices with strict implication and weak difference
Sergio Celani, Agustín Nagy, William Zuluaga Botero
In this paper we introduce the class of weak Heyting Brouwer algebras (WHB-algebras, for short). We extend the well known duality between distributive lattices and Priestley spaces…