The fork and its role in unification of closure algebras
Logic in Computer Science
2025-12-31 v6 Rings and Algebras
Abstract
We consider the two-pronged fork frame and the variety generated by its dual closure algebra . We describe the finite projective algebras in and give a purely semantic proof that unification in is finitary and not unitary.
Keywords
Cite
@article{arxiv.2309.16824,
title = {The fork and its role in unification of closure algebras},
author = {Ivo Düntsch and Wojciech Dzik},
journal= {arXiv preprint arXiv:2309.16824},
year = {2025}
}