TY  - RPRT
TI  - Modular proof analysis and cut elimination for the Reflection Calculi $\mathsf{RC}_1$ and $\mathsf{QRC}_1$
AU  - Joost J. Joosten
AU  - Cosimo Perini Brogi
PY  - 2026
UR  - https://arxiv.org/abs/2611.01248
ID  - 2611.01248
ER  -