TY - RPRT TI - Some results in non-monotonic proof-theoretic semantics AU - Antonio Piccolomini d'Aragona PY - 2025 UR - https://arxiv.org/abs/2501.03298 ID - 2501.03298 ER -