Artículo

Subdirectly Irreducible IKt-Algebras

Figallo, Aldo Victorio; Pascual, Inés Beatriz; Pelaitay, Gustavo AndrésIcon
Fecha de publicación: 02/2017
Editorial: Kluwer Academic/Plenum Publ
Revista: Studia Logica
ISSN: 0039-3215
e-ISSN: 1572-8730
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

The IKt-algebras that we investigate in this paper were introduced in the paper "An algebraic axiomatization of the Ewald’s intuitionistic tense logic" by the first and third author. Now we characterize by topological methods the subdirectly irreducible IKt-algebras and particularly the simple IKt-algebras. Finally, we consider the particular cases of finite IKt-algebras and complete IKt-algebras.
Palabras clave: HEYTING ALGEBRAS , TENSE OPERATORS , IKT-ALGEBRAS
 
Archivos asociados
Thumbnail
 
Tamaño: 656.1Kb
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-NonCommercial-ShareAlike 2.5 Unported (CC BY-NC-SA 2.5)
Identificadores
URI: http://hdl.handle.net/11336/158301
URL: http://link.springer.com/10.1007/s11225-017-9707-2
DOI: http://dx.doi.org/10.1007/s11225-017-9707-2
Colecciones
Articulos(CCT - SAN JUAN)
Articulos de CENTRO CIENTIFICO TECNOLOGICO CONICET - SAN JUAN
Citación
Figallo, Aldo Victorio; Pascual, Inés Beatriz; Pelaitay, Gustavo Andrés; Subdirectly Irreducible IKt-Algebras; Kluwer Academic/Plenum Publ; Studia Logica; 105; 4; 2-2017; 673-701
Compartir
Altmétricas