Sara Ayhan

11 papers Journal 11

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	Meaning and identity of proofs in a bilateralist setting: A two-sorted typed Lambda-calculus for proofs and refutations. J. Log. Comput. Sara Ayhan
2025	J	`jnl`	Problems and Consequences of Bilateral Notions of (Meta-)Derivability. CoRR Sara Ayhan
2025	J	`jnl`	Proof-Theoretic Functional Completeness for the Connexive Logic C. CoRR Sara Ayhan, Hrafn Valtýr Oddsson
2023	J	`jnl`	Logical Multilateralism. J. Philos. Log. Heinrich Wansing, Sara Ayhan
2023	J	`jnl`	Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations. CoRR Sara Ayhan
2023	J	`jnl`	What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory. CoRR Sara Ayhan
2023	J	`jnl`	What are acceptable reductions?: Perspectives from proof-theoretic semantics and type theory. Australas. J. Log. Sara Ayhan
2023	J	`jnl`	What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics. CoRR Sara Ayhan
2022	J	`jnl`	Uniqueness of logical connectives in a bilateralist setting. CoRR Sara Ayhan
2021	J	`jnl`	What is the Meaning of Proofs? J. Philos. Log. Sara Ayhan
2020	J	`jnl`	A cut-free sequent calculus for the bi-intuitionistic logic 2Int. CoRR Sara Ayhan