The fork and its role in unification of closure algebras

Ivo Düntsch, Wojciech Dzik

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…