Sara Ayhan

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 7

Top Topics

Sequent Calculus

Top Venues

J. Philos. Log.

Publications

Sara Ayhan
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics. CoRR (2023)
Sara Ayhan
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory. CoRR (2023)
Sara Ayhan
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations. CoRR (2023)
Heinrich Wansing, Sara Ayhan
Logical Multilateralism. J. Philos. Log. 52 (6) (2023)
Sara Ayhan
Uniqueness of logical connectives in a bilateralist setting. CoRR (2022)
Sara Ayhan
What is the Meaning of Proofs? J. Philos. Log. 50 (3) (2021)
Sara Ayhan
A cut-free sequent calculus for the bi-intuitionistic logic 2Int. CoRR (2020)