TY  - RPRT
TI  - A comparison of three kinds of monotonic proof-theoretic semantics and the base-incompleteness of intuitionistic logic
AU  - Antonio Piccolomini d'Aragona
PY  - 2025
UR  - https://arxiv.org/abs/2501.03297
ID  - 2501.03297
ER  -