Sara Ayhan

Orcid: 0000-0002-7356-9914

According to our database¹, Sara Ayhan authored at least 8 papers between 2020 and 2025.

Collaborative distances:

Dijkstra number² of five.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2025

Proof-Theoretic Functional Completeness for the Connexive Logic C.

[BibT_eX]

[DOI]

Sara Ayhan

Hrafn Valtýr Oddsson

CoRR, July, 2025

Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations.

[BibT_eX]

[DOI]

Sara Ayhan

J. Log. Comput., 2025

2023

Logical Multilateralism.

[BibT_eX]

[DOI]

Heinrich Wansing

Sara Ayhan

J. Philos. Log., December, 2023

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

[BibT_eX]

[DOI]

Sara Ayhan

CoRR, 2023

What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics.

[BibT_eX]

[DOI]

Sara Ayhan

CoRR, 2023

2022

Uniqueness of logical connectives in a bilateralist setting.

[BibT_eX]

[DOI]

Sara Ayhan

CoRR, 2022

2021

What is the Meaning of Proofs?

[BibT_eX]

[DOI]

Sara Ayhan

J. Philos. Log., 2021

2020

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

[BibT_eX]

[DOI]

Sara Ayhan

CoRR, 2020

Sara Ayhan

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...