Subdirectly Irreducible IKt-Algebras

Abstract

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.