An alternative definition of tense operators on residuated lattices
Logic
2023-12-19 v1 Category Theory
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 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.
Keywords
Cite
@article{arxiv.2312.10876,
title = {An alternative definition of tense operators on residuated lattices},
author = {Ismael Calomino and Gustavo Pelaitay and William Zuluaga Botero},
journal= {arXiv preprint arXiv:2312.10876},
year = {2023}
}