Ayhan, S., and H. Wansing. “On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)”. Bulletin of the Section of Logic, vol. 52, no. 2, July 2023, pp. 187-3, doi:10.18778/0138-0680.2023.18.