Mostrar el registro sencillo del ítem

dc.contributor.author
Pelaitay, Gustavo Andrés  
dc.contributor.author
Zuluaga Botero, William Javier  
dc.date.available
2024-01-29T14:37:51Z  
dc.date.issued
2023-08  
dc.identifier.citation
Pelaitay, Gustavo Andrés; Zuluaga Botero, William Javier; Tense Operators on Distributive Lattices with Implication; Springer; Studia Logica; 111; 4; 8-2023; 687-708  
dc.identifier.issn
0039-3215  
dc.identifier.uri
http://hdl.handle.net/11336/225079  
dc.description.abstract
Inspired by the definition of tense operators on distributive lattices presented by Chajda and Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices with implication and we prove that these are categorically equivalent to a full subcategory of the category of tense centered Kleene algebras with implication. Moreover, we apply such an equivalence to describe the congruences of the algebras of each variety by means of tense 1-filters and tense centered deductive systems, respectively.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Springer  
dc.rights
info:eu-repo/semantics/restrictedAccess  
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/  
dc.subject
HEYTING ALGEBRAS  
dc.subject
KLEENE ALGEBRAS  
dc.subject
NELSON ALGEBRAS  
dc.subject
TENSE DLI-ALGEBRAS  
dc.subject
TENSE HEYTING ALGEBRAS  
dc.subject.classification
Matemática Pura  
dc.subject.classification
Matemáticas  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
Tense Operators on Distributive Lattices with Implication  
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-01-26T11:03:38Z  
dc.journal.volume
111  
dc.journal.number
4  
dc.journal.pagination
687-708  
dc.journal.pais
Países Bajos  
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. Universidad Nacional del Centro de la Provincia de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina  
dc.journal.title
Studia Logica  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://link.springer.com/article/10.1007/s11225-023-10047-4  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.1007/s11225-023-10047-4  

Archivos asociados
Tamaño: 377.8Kb
Formato: PDF
.