Cyclic Tarski algebras

The variety of cyclic Boolean algebras is a particular subvariety of the variety of tense algebras. The objective of this paper is to study the variety  of {→,g, h}-subreducts of cyclic Boolean algebras, which we call cyclic Tarski algebras. We prove that  is generated by its finite members and we characterise the locally finite subvarieties of . We prove that there are no splitting varieties in the lattice Λ() of subvarieties of . Finally, we prove that the subquasivarieties and the subvarieties of a locally finite subvariety of  coincide.