Mostrar el registro sencillo del ítem
dc.contributor.author
Calomino, Ismael Maria
dc.contributor.author
Pelaitay, Gustavo Andrés
dc.contributor.author
Zuluaga Botero, William Javier
dc.date.available
2024-03-21T19:03:28Z
dc.date.issued
2024-03
dc.identifier.citation
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
dc.identifier.issn
0955-792X
dc.identifier.uri
http://hdl.handle.net/11336/231221
dc.description.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 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.
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Oxford University Press
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/
dc.subject
RESIDUATED LATTICE
dc.subject
TENSE OPERATOR
dc.subject
KALMAN'S CONSTRUCTION
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
An alternative definition of tense operators on residuated lattices
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2024-03-19T10:24:10Z
dc.journal.pagination
1-22
dc.journal.pais
Reino Unido
dc.journal.ciudad
Oxford
dc.description.fil
Fil: Calomino, Ismael Maria. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Núcleo Consolidado de Matemática Pura y Aplicada; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina
dc.description.fil
Fil: Pelaitay, Gustavo Andrés. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina
dc.description.fil
Fil: Zuluaga Botero, William Javier. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - Tandil; Argentina. Universidad Nacional del Centro de la Provincia de Buenos Aires. Facultad de Ciencias Exactas. Departamento de Matemática; Argentina
dc.journal.title
Journal of Logic and Computation
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exae009/7623002
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1093/logcom/exae009
Archivos asociados