Research & Publications

I edited a two-part Special Issue of the Bulletin of the Section of Logic: Bilateralism and Proof-Theoretic Semantics (Online available here: Part I & Part II)

Publications

• Ayhan, S. (forthcoming): Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations,
  Journal of Logic and Computation.

• Ayhan, S. (2023): What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory,
  Australasian Journal of Logic 20(3), 412-428.

• Ayhan, S. & Wansing, H. (2023): On synonymy in proof-theoretic semantics. The case of 2Int,
  Bulletin of the Section of Logic 52(2), 187-237.

• Ayhan, S. (2023): Introduction: Bilateralism and Proof-Theoretic Semantics (Part I & Part II),
  Bulletin of the Section of Logic 52(2&3), 101-108; 267-274.

• Wansing, H. & Ayhan, S. (2023): Logical Multilateralism,
  Journal of Philosophical Logic 52, 1603–1636.

• Ayhan, S. (2021): What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics,
  Journal of Philosophical Logic 50, 571–591.

• Ayhan, S. (2021): Uniqueness of Logical Connectives in a Bilateralist Setting,
  in The Logica Yearbook 2020, ed. by Martin Blicha & Igor Sedlár, pp. 1-16, College Publications.

• Ayhan, S. (2020): A cut-free sequent calculus for the bi-intuitionistic logic 2Int,
  unpublished manuscript: arXiv:2009.14787.

My PhD thesis, which is composed of several of the published papers listed above, can be downloaded here:
"Meaning and identity of proofs in (bilateralist) proof-theoretic semantics".

Other Research Activities:

• December 6-8, 2023: Co-Organization: 1st Workshop on Contradictory Logics.

• February/March 2023: 4-week research stay hosted by Dave Ripley at Monash University, Melbourne.

• March 17-18, 2022: Organization: Conference: Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum.

• September 8-10, 2021: Co-Organization: PhDs in Logic XII, Free University Berlin.