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