In this paper, we define and study the modal operators on pseudo-BE algebras as special
cases of closure operators on these structures. We prove that the composition of two modal …

In this paper, we introduce and study an alternative definition of tense operators on
residuated lattices. We give a categorical equivalence for the class of tense ICRDL …

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 …

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 IKt-congruence …

Tense logic was introduced by Arthur Prior in the late 1950s as a result of his interest in the
relationship between tense and modality. Prior's idea was to add four primitive modal-like …

In this paper, we introduce the frameable equality algebras and use the concept of tense
operators on them to define tense equality algebras. We investigate some algebraic …

In this paper, we introduce the concept of tense operators on pseudocomplemented
distributive lattices. Specifically, we utilize the Kalman construction to establish a categorical …

In this paper, we study the properties of tensor operators on non-commutative residuated
lattices. We give some equivalent conditions of (strict) strong tensor non-commutative …

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 IKt-congruence …

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 …