Subdirectly Irreducible IKt-Algebras

Autores
Figallo, Aldo Victorio; Pascual, Inés Beatriz; Pelaitay, Gustavo Andrés
Año de publicación
2017
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina
Fil: Pascual, Inés Beatriz. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina
Fil: Pelaitay, Gustavo Andrés. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina
Materia
HEYTING ALGEBRAS
TENSE OPERATORS
IKT-ALGEBRAS
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/158301
Acceder
id CONICETDig_e4f9c1e2237fff604bce4e038db276e5
oai_identifier_str oai:ri.conicet.gov.ar:11336/158301
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
spelling Subdirectly Irreducible IKt-AlgebrasFigallo, Aldo VictorioPascual, Inés BeatrizPelaitay, Gustavo AndrésHEYTING ALGEBRASTENSE OPERATORSIKT-ALGEBRAShttps://purl.org/becyt/ford/1.1https://purl.org/becyt/ford/1The 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.Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; ArgentinaFil: Pascual, Inés Beatriz. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; ArgentinaFil: Pelaitay, Gustavo Andrés. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; ArgentinaKluwer Academic/Plenum Publ2017-02info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/158301Figallo, 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-7010039-32151572-8730CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/http://link.springer.com/10.1007/s11225-017-9707-2info:eu-repo/semantics/altIdentifier/doi/10.1007/s11225-017-9707-2info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by-nc-sa/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2025-09-03T09:52:26Zoai:ri.conicet.gov.ar:11336/158301instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982025-09-03 09:52:27.202CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv Subdirectly Irreducible IKt-Algebras
title Subdirectly Irreducible IKt-Algebras
spellingShingle Subdirectly Irreducible IKt-Algebras
Figallo, Aldo Victorio
HEYTING ALGEBRAS
TENSE OPERATORS
IKT-ALGEBRAS
title_short Subdirectly Irreducible IKt-Algebras
title_full Subdirectly Irreducible IKt-Algebras
title_fullStr Subdirectly Irreducible IKt-Algebras
title_full_unstemmed Subdirectly Irreducible IKt-Algebras
title_sort Subdirectly Irreducible IKt-Algebras
dc.creator.none.fl_str_mv Figallo, Aldo Victorio
Pascual, Inés Beatriz
Pelaitay, Gustavo Andrés
author Figallo, Aldo Victorio
author_facet Figallo, Aldo Victorio
Pascual, Inés Beatriz
Pelaitay, Gustavo Andrés
author_role author
author2 Pascual, Inés Beatriz
Pelaitay, Gustavo Andrés
author2_role author
author
dc.subject.none.fl_str_mv HEYTING ALGEBRAS
TENSE OPERATORS
IKT-ALGEBRAS
topic HEYTING ALGEBRAS
TENSE OPERATORS
IKT-ALGEBRAS
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.1
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
Fil: Figallo, Aldo Victorio. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina
Fil: Pascual, Inés Beatriz. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina
Fil: Pelaitay, Gustavo Andrés. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Departamento de Matemática; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina
description 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.
publishDate 2017
dc.date.none.fl_str_mv 2017-02
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/158301
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
1572-8730
CONICET Digital
CONICET
url http://hdl.handle.net/11336/158301
identifier_str_mv 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
1572-8730
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/10.1007/s11225-017-9707-2
info:eu-repo/semantics/altIdentifier/doi/10.1007/s11225-017-9707-2
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
application/pdf
dc.publisher.none.fl_str_mv Kluwer Academic/Plenum Publ
publisher.none.fl_str_mv Kluwer Academic/Plenum Publ
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1842269158288392192
score 13.13397

Publicaciones similares