TY  - RPRT
TI  - On the preservation of unification type of Heyting algebras and interior algebras
AU  - Ivo Düntsch
AU  - Wojciech Dzik
PY  - 2025
UR  - https://arxiv.org/abs/2510.09455
ID  - 2510.09455
ER  -