Sara Ayhan

Orcid: 0000-0002-7356-9914

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

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

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

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

[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...