The fork and its role in unification of closure algebras
Abstract
We consider the two-pronged fork frame $F$ and the variety $\mathbf{Eq}(B_F)$ generated by its dual closure algebra $B_F$. We describe the finite projective algebras in $\mathbf{Eq}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary.
- Publication:
-
arXiv e-prints
- Pub Date:
- September 2023
- DOI:
- arXiv:
- arXiv:2309.16824
- Bibcode:
- 2023arXiv230916824D
- Keywords:
-
- Computer Science - Logic in Computer Science;
- Mathematics - Rings and Algebras;
- 03B45 03B70 03G25
- E-Print:
- Updated after reviewers' reports