A cut-free sequent calculus for the bi-intuitionistic logic 2Int. - Sara Ayhan (CoRR, 2020)

What is the Meaning of Proofs? - Sara Ayhan (J. Philos. Log., 2021)

Uniqueness of logical connectives in a bilateralist setting. - Sara Ayhan (CoRR, 2022)

What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics. - Sara Ayhan (CoRR, 2023)

What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory. - Sara Ayhan (CoRR, 2023)

Logical Multilateralism. - Heinrich Wansing; Sara Ayhan (J. Philos. Log., 2023)

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations. - Sara Ayhan (J. Log. Comput., 2025)

Proof-Theoretic Functional Completeness for the Connexive Logic C. - Sara Ayhan; Hrafn Valtýr Oddsson (CoRR, 2025)