# Search results for: Gustavo Pelaitay

Soft Computing > 2019 > 23 > 12 > 3979-3997

Studia Logica > 2018 > 106 > 4 > 857-882

*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,...

Studia Logica > 2017 > 105 > 4 > 673-701

*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.

Soft Computing > 2014 > 18 > 10 > 1873-1883