An alternative definition of tense operators on residuated lattices

Autores
Calomino, Ismael Maria; Pelaitay, Gustavo Andrés; Zuluaga Botero, William Javier
Año de publicación
2024
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
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
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
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
Materia
RESIDUATED LATTICE
TENSE OPERATOR
KALMAN'S CONSTRUCTION
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/231221
Acceder
id CONICETDig_f7a8abf19733a19c2d814bde1b523d17
oai_identifier_str oai:ri.conicet.gov.ar:11336/231221
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling An alternative definition of tense operators on residuated latticesCalomino, Ismael MariaPelaitay, Gustavo AndrésZuluaga Botero, William JavierRESIDUATED LATTICETENSE OPERATORKALMAN'S CONSTRUCTIONhttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1In 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.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; ArgentinaFil: 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; ArgentinaFil: 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; ArgentinaOxford University Press2024-03info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/231221Calomino, 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-220955-792XCONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exae009/7623002info:eu-repo/semantics/altIdentifier/doi/10.1093/logcom/exae009info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:59:27Zoai:ri.conicet.gov.ar:11336/231221instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:59:28.052CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv An alternative definition of tense operators on residuated lattices
title An alternative definition of tense operators on residuated lattices
spellingShingle An alternative definition of tense operators on residuated lattices
Calomino, Ismael Maria
RESIDUATED LATTICE
TENSE OPERATOR
KALMAN'S CONSTRUCTION
title_short An alternative definition of tense operators on residuated lattices
title_full An alternative definition of tense operators on residuated lattices
title_fullStr An alternative definition of tense operators on residuated lattices
title_full_unstemmed An alternative definition of tense operators on residuated lattices
title_sort An alternative definition of tense operators on residuated lattices
dc.creator.none.fl_str_mv Calomino, Ismael Maria
Pelaitay, Gustavo Andrés
Zuluaga Botero, William Javier
author Calomino, Ismael Maria
author_facet Calomino, Ismael Maria
Pelaitay, Gustavo Andrés
Zuluaga Botero, William Javier
author_role author
author2 Pelaitay, Gustavo Andrés
Zuluaga Botero, William Javier
author2_role author
author
dc.subject.none.fl_str_mv RESIDUATED LATTICE
TENSE OPERATOR
KALMAN'S CONSTRUCTION
topic RESIDUATED LATTICE
TENSE OPERATOR
KALMAN'S CONSTRUCTION
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
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
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
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
description 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.
publishDate 2024
dc.date.none.fl_str_mv 2024-03
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/231221
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
0955-792X
CONICET Digital
CONICET
url http://hdl.handle.net/11336/231221
identifier_str_mv 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
0955-792X
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://academic.oup.com/logcom/advance-article/doi/10.1093/logcom/exae009/7623002
info:eu-repo/semantics/altIdentifier/doi/10.1093/logcom/exae009
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Oxford University Press
publisher.none.fl_str_mv Oxford University Press
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269581298630656
score 13.13397

Publicaciones similares