Ayhan S. Introduction: Bilateralism and Proof-Theoretic Semantics (Part I). B Sect Log. 2023;52(2):101–108. doi:10.18778/0138-0680.2023.12