5 citations · 13 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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.LO2025★ 2 cited
Proof-Theoretic Functional Completeness for the Connexive Logic C
Sara Ayhan, Hrafn Valtýr Oddsson
We show the functional completeness for the connectives of the non-trivial negation inconsistent logic C by using a well-established method implementing purely proof-theoretic noti…