2 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.LO2025
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…