3 papers
math.LO2025
On the preservation of unification type of Heyting algebras and interior algebras
Ivo Düntsch, Wojciech Dzik
The purpose of this note is to shed some light on the preservation of unification types of locally finite varieties of interior algebras and varieties of Heyting algebras under the…
cs.LO2023
The fork and its role in unification of closure algebras
Ivo Düntsch, Wojciech Dzik
We consider the two-pronged fork frame and the variety generated by its dual closure algebra . We describe the finite projective algebras in $\mathbf{Eq…
math.LO2022
Unification types and union splittings in intermediate logics
W. Dzik, S. Kost, P. Wojtylak
Following a characterization [10] of locally tabular logics with finitary (or unitary) unification by their Kripke models we determine the unification types of some intermediate lo…