Ayhan, S. (forthcoming): Contradictions without negation and a proof-theoretic, bilateralist account of connexive logics,
Review of Symbolic Logic, https://doi.org/10.1017/S1755020326101063.
Ayhan, S. (forthcoming): Inferentialism meets Feminist Logic,
Topoi.
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. & Ferguson, T.M.: Bilateralism in Logic (Cambridge Elements in Philosophy and Logic), under contract with Cambridge University Press, in preparation.
Invited Commentary for Symposium of Crítica. Revista Hispanoamericana de Filosofía on Franz Berto's "Impossible Worlds Are Here to Stay", in preparation.
Current Developments in Logic (in German, Original: Logik - Aktuelle Entwicklungen), invited chapter for Handbuch Analytische Philosophie, edited by Hans-Johann Glock, Christoph C. Pfisterer and Stefan Roski, in preparation.
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, published as part of 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
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 of 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