剩余格上时态算子的另一种定义
逻辑
2023-12-19 v1 范畴论
摘要
在本文中，我们引入并研究了剩余格上时态算子的另一种定义。我们给出了时态剩余格类的一个范畴等价，该等价受 J. Kalman 的一个早期构造启发。本文最后给出了一些关于同余描述和 2-语境翻译的应用。
引用
@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}
}