The fork and its role in unification of closure algebras
Abstract
We consider the two-pronged fork frame F and the variety Eq(BF) generated by its dual closure algebra BF. We describe the finite projective algebras in Eq(BF) and give a purely semantic proof that unification in Eq(BF) is finitary and not unitary.
0
Turn this paper into a lesson
ArcXiv compiles a structured reading guide from this paper's metadata: plain-English importance, contributions, prerequisite concepts, which sections to read first, flashcards, and a quiz. Grounded in the abstract, never invented.