2023/12/18 by Calomino, Ismael, Pelaitay, Gustavo, Botero, William Zuluaga
#06D20 #06D50 #3B44 #Category Theory (math.CT) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2312.10876
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 lattices, which is motivated by an old construction due to J. Kalman. The paper concludes with some applications regarding the description of congruences and a 2-contextual translation.