TY - RPRT TI - Proof-theoretic Semantics for First-order Logic AU - Alexander V. Gheorghiu PY - 2025 UR - https://arxiv.org/abs/2410.11751 ID - 2410.11751 ER -