Total tense algebras and symmetric semiassociative relation algebras (Q1905987)

A Boolean algebra \((B,+, \cdot, -)\) with two unary operators \(f\) and \(g\) is called a tense algebra if \(f\) and \(g\) are conjugate operations, i.e., for any \(x,y \in B\), \(y \cdot f(x) = 0\) iff \(x \cdot g(y) = 0\). A tense algebra is called total if it satisfies the condition: if \(x \neq 0\) then \(f(x) + g(x) = 1\). In this paper the authors study varieties generated by total tense algebras and show, among other things, that thare are exactly four finitely generated varieties and infinitely many nonfinitely generated varieties of height two. The authors show also that tense algebras are term-equivalent to certain generalized relation algebras and extend the results to varieties of these algebras.