Artículo

An alternative definition of tense operators on residuated lattices

Calomino, Ismael MariaIcon ; Pelaitay, Gustavo AndrésIcon ; Zuluaga Botero, William JavierIcon
Fecha de publicación: 03/2024
Editorial: Oxford University Press
Revista: Journal of Logic and Computation
ISSN: 0955-792X
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: RESIDUATED LATTICE , TENSE OPERATOR , KALMAN'S CONSTRUCTION
 
Archivos asociados
Thumbnail
 
Tamaño: 287.7Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution 2.5 Unported (CC BY 2.5)
Identificadores
URI: http://hdl.handle.net/11336/231221
URL: https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exae009/76230
DOI: https://doi.org/10.1093/logcom/exae009
Colecciones
Articulos(CCT - SAN JUAN)
Articulos de CENTRO CIENTIFICO TECNOLOGICO CONICET - SAN JUAN
Articulos(CCT - TANDIL)
Articulos de CTRO CIENTIFICO TECNOLOGICO CONICET - TANDIL
Citación
Calomino, Ismael Maria; Pelaitay, Gustavo Andrés; Zuluaga Botero, William Javier; An alternative definition of tense operators on residuated lattices; Oxford University Press; Journal of Logic and Computation; 3-2024; 1-22
Compartir
Altmétricas