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
Licence: Attribution 4.0 International (CC BY 4.0)

Share and export

Consultation statistics

This page has been seen 129 times.
This article's PDF has been downloaded 108 times.