Sara Ayhan (she/her)

I'm also Spokesperson of the Philosophy Mittelbau at RUB, see the Mittelbau website for more information, and together with Inken Titz SW*IP-Germany ambassador for RUB. Please contact us if you want to join our SW*IP-Ruhr group or if you have any related questions!

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. (forthcoming): Notions of proof and refutation in 'Gentzensemantik'. Franz von Kutschera as an early proponent of (bilateralist) proof-theoretic semantics, History and Philosophy of Logic.
• Ayhan, S. (forthcoming): Franz von Kutschera: A generalized notion of refutation for Gentzen calculi. Translation 'Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle', History and Philosophy of Logic.
• 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): 
  , 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.