Showing math.LOShow all
2 papers · 1 filter
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…
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…