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), pp. 187–237. doi: 10.18778/0138-0680.2023.18.