Ayhan S, Wansing H. On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\). B Sect Log [Internet]. 2023 Jul. 18 [cited 2025 Dec. 8];52(2):187-23. Available from: https://www.czasopisma.uni.lodz.pl/bulletin/article/view/14910