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.
Financed by the National Centre for Research and Development under grant No. SP/I/1/77065/10 by the strategic scientific research and experimental development program:
SYNAT - “Interdisciplinary System for Interactive Scientific and Scientific-Technical Information”.