TY  - RPRT
TI  - Strictly Positive Fragments of the Provability Logic of Heyting Arithmetic
AU  - Ana de Almeida Borges
AU  - Joost J. Joosten
PY  - 2023
UR  - https://arxiv.org/abs/2312.14727
ID  - 2312.14727
ER  -