Subdirectly Irreducible IKt-Algebras
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 si...
| Autores: | , , |
|---|---|
| Tipo de recurso: | artículo |
| Estado: | Versión publicada |
| Fecha de publicación: | 2017 |
| País: | Argentina |
| Institución: | Consejo Nacional de Investigaciones Científicas y Técnicas |
| Repositorio: | CONICET Digital (CONICET) |
| Idioma: | inglés |
| OAI Identifier: | oai:ri.conicet.gov.ar:11336/158301 |
| Acceso en línea: | http://hdl.handle.net/11336/158301 |
| Access Level: | acceso abierto |
| Palabra clave: | HEYTING ALGEBRAS TENSE OPERATORS IKT-ALGEBRAS https://purl.org/becyt/ford/1.1 https://purl.org/becyt/ford/1 |
| Sumario: | 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. |
|---|