3 citations · 8 across the 5 of their papers we have counts for
7 papers · 1 filter
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…
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…
What are acceptable reductions? Perspectives from proof-theoretic semantics and type theory
Sara Ayhan
It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of…
What is the meaning of proofs? A Fregean distinction in proof-theoretic semantics
Sara Ayhan
The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use…
Meaning and identity of proofs in a bilateralist setting: A two-sorted typed lambda-calculus for proofs and refutations
Sara Ayhan
In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations…
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…