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