TY  - RPRT
TI  - Quantified propositional calculi and narrow implicit proofs
AU  - Pavel Pudlák
AU  - Neil Thapen
PY  - 2026
UR  - https://arxiv.org/abs/2606.10535
ID  - 2606.10535
ER  -