1 citations · 1 across the 6 of their papers we have counts for
1 paper · 2 filters
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…