An alternative definition of tense operators on residuated lattices
arXiv:2312.10876
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.