Ayhan S, Wansing H. On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\). B Sect Log. 2023;52(2):187-237. doi:10.18778/0138-0680.2023.18