On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\)

• Published in: Bulletin of the Section of Logic Vol. 52; no. 2; pp. 187 - 237
• Main Authors: Ayhan, Sara, Wansing, Heinrich
• Format: Journal Article
• Language: English
• Published: Lodz University Press 18.07.2023
• Subjects: bi-intuitionistic logic \(\mathtt{2int}\); bilateralism; cut-elimination; identity of derivations; synonymy

We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus \(\mathtt{SC2Int}\) for the bi-intuitionistic logic \(\mathtt{2Int}\). A distinctive feature of \(\mathtt{SC2Int}\) is that it makes use of two kind of...