Ayhan, S. Introduction: Bilateralism and Proof-Theoretic Semantics (Part I). B Sect Log 2023, 52, 101–108.