TY  - RPRT
TI  - Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic
AU  - Mojtaba Mojtahedi
AU  - Konstantinos Papafilippou
PY  - 2024
UR  - https://arxiv.org/abs/2403.19525
ID  - 2403.19525
ER  -