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