Ewald considered tense operators G, H, F and P on intuitionistic propositional calculus and constructed an intuitionistic tense logic system called IKt. In 2014, Figallo and Pelaitay introduced the variety IKt of IKt-algebras ...

In this paper we present a category equivalent to that of tense Nelson algebras.The objects in this new category are pairs consisting of an IKt-algebra and a Boolean IKtcongruenceand the morphisms are a special kind of ...

The purpose of this article is to investigate the variety of algebras, which we call tense De Morgan algebras, as a natural generalization of tense algebras developed in Burges (1984, Handbook of Philosophical Logic, vol. ...

In this article, we continue the study of tense symmetric Heyting algebras (or TSH-algebras). These algebras constitute a generalization of tense algebras. In particular, we describe a discrete duality for TSH-algebras ...

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

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

This paper focuses on the analysis of the meaning of the verbal suffix -FI in the frame of the Tense-Aspect-Modality system in Mapudungun. A few recent works have recognized some other features of this marker - traditionally ...