Subdirectly Irreducible IKt-Algebras

Figallo, Aldo Victorio; Pascual, Inés Beatriz; Pelaitay, Gustavo Andrés

info:eu-repo/semantics/article

Fecha

2017-02

Registro en:

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

0039-3215

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

1572-8730

CONICET Digital

CONICET

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

Autor

Figallo, Aldo Victorio

Pascual, Inés Beatriz

Pelaitay, Gustavo Andrés

Institución

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

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.

Materias

HEYTING ALGEBRAS

TENSE OPERATORS

IKT-ALGEBRAS

Mostrar el registro completo del ítem