Projectivity meets Uniform Post-Interpolant: Classical and Intuitionistic Logic

Mojtaba Mojtahedi, Konstantinos Papafilippou

We examine the interplay between projectivity (in the sense that was introduced by S.~Ghilardi) and uniform post-interpolant for the classical and intuitionistic propositional logi…