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. :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 IKt-congruences 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. (shrink)

Inspired by the definition of tense operators on distributive lattices presented by Chajda and Paseka in 2015, in this paper, we introduce and study the variety of tense distributive lattices with implication and we prove that these are categorically equivalent to a full subcategory of the category of tense centered Kleene algebras with implication. Moreover, we apply such an equivalence to describe the congruences of the algebras of each variety by means of tense 1-filters and tense centered deductive systems, respectively.

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.