| Uniqueness of logical connectives in a bilateralist setting S Ayhan The Logica Yearbook 2020, 1-16, 2021 | 12 | 2021 |
| What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics S Ayhan Journal of Philosophical Logic 50 (3), 571-591, 2021 | 6 | 2021 |
| Logical multilateralism H Wansing, S Ayhan Journal of Philosophical Logic 52 (6), 1603-1636, 2023 | 4 | 2023 |
| ON SYNONYMY IN PROOF-THEORETIC SEMANTICS. THE CASE OF 2Int. S Ayhan, H Wansing Bulletin of the Section of Logic 52 (2), 187-237, 2023 | 4 | 2023 |
| Introduction: Bilateralism and Proof-Theoretic Semantics (Part I) S Ayhan Bulletin of the Section of Logic 52 (2), 101-108, 2023 | 2 | 2023 |
| A cut-free sequent calculus for the bi-intuitionistic logic 2Int S Ayhan arXiv preprint arXiv:2009.14787, 2020 | 2 | 2020 |
| Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations S Ayhan Journal of Logic and Computation, 2024 | 1 | 2024 |
| What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory S Ayhan Australasian Journal of Logic 20 (3), 412-428, 2023 | 1 | 2023 |
| Introduction: Bilateralism and Proof-Theoretic Semantics (Part II) S Ayhan Bulletin of the Section of Logic 52 (3), 267-274, 2023 | | 2023 |
Heinrich WansingRuhr-Universität BochumVerified email at rub.de
