3 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2025
Problems and Consequences of Bilateral Notions of (Meta-)Derivability
Sara Ayhan
A bilateralist take on proof-theoretic semantics can be understood as demanding of a proof system to display not only rules giving the connectives' provability conditions but also…
cs.LO2022★ 3 cited
Uniqueness of logical connectives in a bilateralist setting
Sara Ayhan
In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic sem…
cs.LO2020
A cut-free sequent calculus for the bi-intuitionistic logic 2Int
Sara Ayhan
The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2…