Ayhan, Sara, and Heinrich Wansing. 2023. “On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)”. Bulletin of the Section of Logic 52 (2):187-237. https://doi.org/10.18778/0138-0680.2023.18.