Projectivity Meets Uniform Post-Interpolant: Classical and Intuitionistic Logic.

Mojtaba Mojtahedi, Konstantinos Papafilippou

Browse the full AiML paper archive.