TY  - RPRT
TI  - Unification types and union splittings in intermediate logics
AU  - W. Dzik
AU  - S. Kost
AU  - P. Wojtylak
PY  - 2022
UR  - https://arxiv.org/abs/2205.10644
ID  - 2205.10644
ER  -