Ayhan, S. (2025): Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other,
Synthese 206, https://doi.org/10.1007/s11229-025-05220-2.
Ayhan, S. (2025): Problems and consequences of bilateral notions of (meta-)derivability,
Erkenntnis, https://doi.org/10.1007/s10670-025-01004-9.
Ayhan, S. & Oddsson, H. (2025): Proof-Theoretic Functional Completeness for the Connexive Logic C,
Studia Logica, https://doi.org/10.1007/s11225-025-10200-1.
Ayhan, S. (2025): Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations,
Journal of Logic and Computation 35(2), https://doi.org/10.1093/logcom/exae014.
Ayhan, S. (2025): Comparing sense and denotation in bilateralist proof systems for proofs and refutations,
Bulletin of the Section of Logic, https://doi.org/10.18778/0138-0680.2025.03.
Ayhan, S. (2025): Notions of proof and refutation in `Gentzensemantik'. Franz von Kutschera as an early proponent of (bilateralist) proof-theoretic semantics, History and Philosophy of Logic 46(3), 449–455, https://doi.org/10.1080/01445340.2024.2393964.
Ayhan, S. (2023): What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory,
Australasian Journal of Logic 20(3), 412–428, https://doi.org/10.26686/ajl.v20i3.7692.
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, https://doi.org/10.18778/0138-0680.2023.18
Wansing, H. & Ayhan, S. (2023): Logical Multilateralism,
Journal of Philosophical Logic 52, 1603–1636, https://doi.org/10.1007/s10992-023-09720-9.
Ayhan, S. (2021): What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics,
Journal of Philosophical Logic 50, 571–591, https://doi.org/10.1007/s10992-020-09577-2.
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. (2023, Ed.). Bilateralism and Proof-Theoretic Semantics. Special Issue of: Bulletin of the Section of Logic, 52(2/3), Online available here: Part I & Part II).
With Editorials: Introduction: Bilateralism and Proof-Theoretic Semantics (Part I). Bulletin of the Section of Logic 52(2), 101–108, https://doi.org/10.18778/0138-0680.2023.12.
Introduction: Bilateralism and Proof-Theoretic Semantics (Part II). Bulletin of the Section of Logic 52(3), 267–274, https://doi.org/10.18778/0138-0680.2023.24.
Ayhan, S. (2020): A cut-free sequent calculus for the bi-intuitionistic logic 2Int,
unpublished manuscript: arXiv:2009.14787.
von Kutschera, F. (2025): A generalized notion of refutation for Gentzen calculi. Edited and translated by Sara Ayhan, History and Philosophy of Logic 46(3), 456–469, https://doi.org/10.1080/01445340.2024.2393970.
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", https://doi.org/10.13154/294-9281.
November 24-28, 2025: Co-Organization: Week in Logic at the Graduate School of Information Sciences, Tohoku University, Sendai.
September 12-13, 2025: Co-Organization: 2nd Workshop on Contradictory Logics.
August 29-30, 2025: Organization of workshop on Feminist Logic at Ruhr University Bochum.
October 10-11, 2024: Co-Organization of conference: Feminist Analytic Philosophy with Jasmin Trächtler at TU Dortmund.
December 6-8, 2023: Co-Organization: 1st Workshop on Contradictory Logics.
March 17-18, 2022: Organization of conference: Bilateralism and Proof-Theoretic Semantics, Ruhr University Bochum.
September 8-10, 2021: Co-Organization: PhDs in Logic XII, Free University Berlin.
February/March 2025: 3-week research stay hosted by Hitoshi Omori at Tohoku University, Sendai.
Invited discussant at Women in PLEXUS. Open problems in Substructural Logics in Turin.
August 2024: Participation in the Dagstuhl Seminar "Proof Representations: From Theory to Applications".
February/March 2023: 5-week research stay hosted by Ellie Ripley at Monash University, Melbourne.
August 2022: 2-week research stay hosted by Damian Szmuc at the Buenos Aires Logic Group.
Photo by Greg Restall, RUB, 2022