Equivalential algebras with conjunction on the regular elements
Sławomir Przybyło · Annales Universitatis Paedagogicae Cracoviensis Studia Mathematica · 2021
Abstract We introduce the definition of the three-element equivalential algebra R with conjunction on the regular elements. We study the variety generated by R and prove the Representation Theorem. Then, we construct the finitely generated free algebras and compute the free spectra in this variety.