%0 Journal Article
%A Ayhan, Sara
%A Wansing, Heinrich
%T On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)
%J Bulletin of the Section of Logic
%D 2023
%P 187-237
%V 52
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/BSL_2023_52_2_a2/
%G en
%F BSL_2023_52_2_a2