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.12354
The fork and its role in unification of closure algebrasArticle

Authors: 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.

    https://doi.org/10.46298/fi.12354
    Source: arXiv.org:2309.16824
    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

    Share and export