An alternative definition of tense operators on residuated lattices

被引：0

作者：

Calomino, Ismael ^{[1
,2
]}

Pelaitay, Gustavo ^{[3
,4
]}

Botero, William Zuluaga ^{[5
,6
]}

机构：

[1] Univ Nacl Ctr, Fac Ciencias Exactas, CIC, Pinto 399, RA-7000 Tandil, Argentina

[2] Univ Nacl Ctr, Fac Ciencias Exactas, NUCOMPA, Pinto 399, RA-7000 Tandil, Argentina

[3] Univ Nacl San Juan, CONICET, RA-5400 San Juan, Argentina

[4] Univ Nacl San Juan, Inst Ciencias Basicas, RA-5400 San Juan, Argentina

[5] Univ Nacl Ctr, Fac Ciencias Exactas, CONICET, Pinto 399, RA-7000 Tandil, Argentina

[6] Univ Nacl Ctr, Fac Ciencias Exactas, Dept Matemat, Pinto 399, RA-7000 Tandil, Argentina

来源：

JOURNAL OF LOGIC AND COMPUTATION | 2024年

关键词：

Residuated lattice; tense operator; Kalman's construction; INTUITIONISTIC TENSE; ALGEBRAS;

D O I：

10.1093/logcom/exae009

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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 ICRDL-algebras, which is motivated by an old construction by J. Kalman. The paper concludes with some applications regarding descriptions of congruences and a 2-contextual translation.

引用

页数：22

共 30 条

[1] Tense operators on non-commutative residuated lattices [J].