A Categorical Equivalence for Tense Nelson Algebras

Figallo, Aldo Victorio; Sarmiento, Jonathan Matias; Pelaitay, Gustavo Andrés

info:eu-repo/semantics/article

Fecha

2021-08

Registro en:

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

0039-3215

http://hdl.handle.net/11336/149816

CONICET Digital

CONICET

https://repositorioslatinoamericanos.uchile.cl/handle/2250/4314913

Autor

Figallo, Aldo Victorio

Sarmiento, Jonathan Matias

Pelaitay, Gustavo Andrés

Institución

Consejo Nacional de Investigaciones Científicas y Tecnológicas (Argentina)

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.