Mostrar el registro sencillo del ítem
dc.contributor.author
Figallo, Aldo Victorio
dc.contributor.author
Pascual, Inés Inés
dc.contributor.author
Pelaitay, Gustavo Andrés
dc.date.available
2022-05-05T18:58:17Z
dc.date.issued
2018-02
dc.identifier.citation
Figallo, Aldo Victorio; Pascual, Inés Inés; Pelaitay, Gustavo Andrés; Principal and boolean congruences on IKt-Algebras; Springer; Studia Logica; 106; 4; 2-2018; 857-882
dc.identifier.issn
0039-3215
dc.identifier.uri
http://hdl.handle.net/11336/156679
dc.description.abstract
The IKt-algebras were introduced in the paper An algebraic axiomatization of the Ewald’s intuitionistic tense logic by the first and third author. In this paper, our main interest is to investigate the principal and Boolean congruences on IKt-algebras. In order to do this we take into account a topological duality for these algebras obtained in Figallo et al. (Stud Log 105(4):673–701, 2017). Furthermore, we characterize Boolean and principal IKt-congruences and we show that Boolean IKt-congruence are principal IKt-congruences. Also, bearing in mind the above results, we obtain that Boolean IKtcongruences are commutative, regular and uniform. Finally, we characterize the principal IKt-congruences in the case that the IKt-algebra is linear and complete whose prime filters are complete and also the case that it is linear and finite. This allowed us to establish that the intersection of two principal IKt-congruences on these algebras is a principal one and also to determine necessary and sufficient conditions so that a principal IKt-congruence is a Boolean one on theses algebras
dc.format
application/pdf
dc.language.iso
eng
dc.publisher
Springer
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by-nc-sa/2.5/ar/
dc.subject
HEYTING ALGEBRAS
dc.subject
TENSE OPERATORS
dc.subject
IKT-ALGEBRAS
dc.subject
BOLEAN CONGRUENCES
dc.subject
PRINCIPAL CONGRUENCES
dc.subject.classification
Matemática Pura
dc.subject.classification
Matemáticas
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
dc.title
Principal and boolean congruences on IKt-Algebras
dc.type
info:eu-repo/semantics/article
dc.type
info:ar-repo/semantics/artículo
dc.type
info:eu-repo/semantics/publishedVersion
dc.date.updated
2022-05-02T16:33:20Z
dc.identifier.eissn
1572-8730
dc.journal.volume
106
dc.journal.number
4
dc.journal.pagination
857-882
dc.journal.pais
Países Bajos
dc.journal.ciudad
Amsterdam
dc.description.fil
Fil: Figallo, Aldo Victorio. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina
dc.description.fil
Fil: Pascual, Inés Iné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
dc.description.fil
Fil: Pelaitay, Gustavo Andrés. Consejo Nacional de Investigaciones Científicas y Técnicas. Centro Científico Tecnológico Conicet - San Juan; Argentina. Universidad Nacional de San Juan. Facultad de Filosofía, Humanidades y Artes. Instituto de Ciencias Básicas; Argentina
dc.journal.title
Studia Logica
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/http://link.springer.com/10.1007/s11225-017-9770-8
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/https://doi.org/10.1007/s11225-017-9770-8
Archivos asociados