Equivalential algebras with conjunction on the regular elements (Q2130936)

The author studies the properties of a Fregean variety \(\mathcal{V}(\mathbf{R})\) generated by the equivalential algebra \(\mathbf{R}\) with conjuction on the regular elements obtained as a reduct of the 3-element Heyting algebra. \(\mathbf{R}\) is the algebra of type \((2,2,0)\), the smallest Fregean algebra of mixed type in the sense of Tame Congruence Theory of [\textit{D. Hobby} and \textit{R. McKenzie}, The structure of finite algebra. Providence, RI: American Mathematical Society (1988; Zbl 0721.08001)]. The representation theorem for finite algebras in \(\mathcal{V}(\mathbf{R})\) is provided. Finally, the formula for the free spectrum in this variety is found.