加载中…
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.

生成讲解博客的中文版本

生成AI智能校验的中文版本