Ivo Düntsch ; Wojciech Dzik
-
The fork and its role in unification of closure algebras
fi:12354 -
Fundamenta Informaticae,
December 30, 2025,
Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024
-
https://doi.org/10.46298/fi.12354The fork and its role in unification of closure algebrasArticle
Authors: Ivo Düntsch ; Wojciech Dzik
NULL##NULL
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}(B_F)$ and give a purely semantic proof that unification in $\mathbf{Eq}(B_F)$ is finitary and not unitary.
Volume: Volume 195, Issues 1-4: Relational and Algebraic Methods in Computer Science 2024
Published on: December 30, 2025
Accepted on: November 10, 2024
Submitted on: October 2, 2023
Keywords: Logic in Computer Science, Rings and Algebras, 03B45 03B70 03G25