Artículo

A Categorical Equivalence for Tense Nelson Algebras

Figallo, Aldo Victorio; Sarmiento, Jonathan MatiasIcon ; Pelaitay, Gustavo AndrésIcon
Fecha de publicación: 08/2021
Editorial: Springer
Revista: Studia Logica
ISSN: 0039-3215
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

In this paper we present a category equivalent to that of tense Nelson algebras.The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKtcongruenceand the morphisms are a special kind of IKt-homomorphisms. This categoricalequivalence permits understanding tense Nelson algebras in terms of the better?knownIKt-algebras.
Palabras clave: NELSON ALGEBRAS , HEYTING ALGEBRAS , TENSE OPERATORS , IKT-ALGEBRAS , TENSE NELSON ALGEBRAS
 
Archivos asociados
Thumbnail
 
Tamaño: 196.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/149816
DOI: http://dx.doi.org/10.1007/s11225-021-09960-3
URL: https://link.springer.com/article/10.1007%2Fs11225-021-09960-3
URL: https://arxiv.org/abs/2007.14459
Colecciones
Articulos(CCT - BAHIA BLANCA)
Articulos de CTRO.CIENTIFICO TECNOL.CONICET - BAHIA BLANCA
Citación
Figallo, Aldo Victorio; Sarmiento, Jonathan Matias; Pelaitay, Gustavo Andrés; A Categorical Equivalence for Tense Nelson Algebras; Springer; Studia Logica; 2021; 8-2021; 1-23
Compartir
Altmétricas