5 citations · 13 across the 7 of their papers we have counts for
Showing 2023Show all
3 papers · 1 filter
cs.LO2023★ 3 cited
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…
cs.LO2023★ 5 cited
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…
cs.LO2023
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…