Tense operators on frameable equality algebras

Abstract

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 properties of tense equality algebras and prove the representation theory for strict strong tense equality algebras. Then we introduce the notions of (prime) tense deductive systems and tense congruences and obtain some structural theorems.