collaborators

1 paper

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…