Details of the Researcher

PHOTO

Ayhan Sara Katrin
Section
Graduate School of Information Sciences
Job title
Specially Appointed Assistant Professor(Research)
e-Rad No.
31037526

Research Interests 5

  • Contradictions

  • Non-classical logics

  • Proof-Theoretic Semantics

  • Philosophy

  • Logic

Awards 1

  1. Wolfgang Stegmüller Award

    2025/09　Gesellschaft für Analytische Philosophie

Papers 19

  1. Problems and Consequences of Bilateral Notions of (Meta-)Derivability Peer-reviewed

    Sara Ayhan

    Erkenntnis　2026/08

    DOI： 10.1007/s10670-025-01004-9 　

  2. Contradictions, Classical Logic and the Phenomenon of Ambiguity Tolerance: A Socio-political Argument for Paraconsistent and Contradictory Logics

    Sara Ayhan

    Erkenntnis　2026/06/18

    DOI： 10.1007/s10670-026-01112-0 　

  3. CONTRADICTIONS WITHOUT NEGATION AND A PROOF-THEORETIC, BILATERALIST ACCOUNT OF CONNEXIVE LOGICS Peer-reviewed

    SARA AYHAN

    The Review of Symbolic Logic　2026/06

    DOI： 10.1017/S1755020326101063 　

  4. Inferentialism Meets Feminist Logic Peer-reviewed

    Sara Ayhan

    Topoi　2026/04/11

    DOI： 10.1007/s11245-026-10394-6 　

  5. Queer feminist logic and contradictions: Or how logic and feminism can be relevant to each other Peer-reviewed

    Sara Ayhan

    Synthese　2025/09/29

    DOI： 10.1007/s11229-025-05220-2 　

  6. Proof-Theoretic Functional Completeness for the Connexive Logic C Peer-reviewed

    Sara Ayhan, Hrafn Valtýr Oddsson

    Studia Logica　2025/07/08

    DOI： 10.1007/s11225-025-10200-1 　

  7. A Generalized Notion of Refutation for Gentzen Calculi*

    Franz von Kutschera, translated by Sara Ayhan

    History and Philosophy of Logic　2025/07/03

    DOI： 10.1080/01445340.2024.2393970 　

  8. Notions of Proof and Refutation in ‘Gentzensemantik’: Franz von Kutschera as an Early Proponent of (Bilateralist) Proof-Theoretic Semantics Peer-reviewed

    Sara Ayhan

    History and Philosophy of Logic　46　(3)　449-455　2025/07/03

    DOI： 10.1080/01445340.2024.2393964 　

  9. Comparing Sense and Denotation in Bilateralist Proof Systems for Proofs and Refutations Peer-reviewed

    Sara Ayhan

    Bulletin of the Section of Logic　54　(1)　23-58　2025/05/30

    DOI： 10.18778/0138-0680.2025.03 　

  10. Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations Peer-reviewed

    Sara Ayhan

    Journal of Logic and Computation　35　(2)　2024/04/01

    DOI： 10.1093/logcom/exae014 　

    ISSN： 0955-792X 1465-363X

    More details Close

    <jats:title>Abstract</jats:title> <jats:p>In this paper, I will develop a $\lambda $-term calculus, $\lambda ^{2Int}$, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry–Howard correspondence, which has been well-established between the simply typed $\lambda $-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system of Wansing’s bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed $\lambda $-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results, I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view.</jats:p>

  11. Logical Multilateralism Peer-reviewed

    Heinrich Wansing, Sara Ayhan

    Journal of Philosophical Logic　52　1603-1636　2023/12

    DOI： 10.1007/s10992-023-09720-9 　

    ISSN： 0022-3611 1573-0433

  12. What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory Peer-reviewed

    Sara Ayhan

    The Australasian journal of logic　20　(3)　412-428　2023/10/19

    DOI： 10.26686/ajl.v20i3.7692 　

    ISSN： 1448-5052

  13. Introduction: Bilateralism and Proof-Theoretic Semantics (Part I)

    Sara Ayhan

    Bulletin of the section of logic　52　(2)　101-108　2023/10/11

    DOI： 10.18778/0138-0680.2023.12 　

    ISSN： 0138-0680 2449-836X

  14. Bilateralism and Proof-Theoretic Semantics (Part II)

    Sara Ayhan

    Bulletin of the section of logic　52　(3)　267-274　2023/09/30

    DOI： 10.18778/0138-0680.2023.24 　

    ISSN： 0138-0680 2449-836X

  15. On Synonymy in Proof-Theoretic Semantics: The Case of \(\mathtt{2Int}\) Peer-reviewed

    Sara Ayhan, Heinrich Wansing

    Bulletin of the Section of Logic　52　(2)　187-237　2023/07/18

    DOI： 10.18778/0138-0680.2023.18 　

    ISSN： 0138-0680 2449-836X

  16. Meaning and identity of proofs in (bilateralist) proof-theoretic semantics

    Sara Ayhan

    Fakultät für Philosophie und Erziehungswissenschaft, Ruhr University Bochum　2023

    DOI： 10.13154/294-9281 　

  17. What is the Meaning of Proofs? A Fregean Distinction in Proof-Theoretic Semantics Peer-reviewed

    Sara Ayhan

    Journal of Philosophical Logic　50　(3)　571-591　2021/06/22

    Publisher: Springer Science and Business Media {LLC}

    DOI： 10.1007/s10992-020-09577-2 　

  18. Uniqueness of Logical Connectives in a Bilateralist Setting Peer-reviewed

    Sara Ayhan

    The Logica Yearbook 2020, ed. by Martin Blicha & Igor Sedlár, College Publications　1-16　2021

  19. A cut-free sequent calculus for the bi-intuitionistic logic 2Int

    Sara Ayhan

    arXiv:2009.14787　2020

Show all ︎Show first 5