What is the meaning of proofs?. A Fregean distinction in proof-theoretic semantics

DOI10.1007/s10992-020-09577-2OpenAlexW3094003468WikidataQ113900777 ScholiaQ113900777MaRDI QIDQ2037304

Sara Ayhan

Publication date: 30 June 2021

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-020-09577-2

zbMATH Keywords

senseproof-theoretic semanticsdenotationidentity of proofs

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Related Items

First among equals: co-hyperintensionality for structured propositions

Uses Software

• Pesca

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On harmony and permuting conversions
• Lectures on the Curry-Howard isomorphism
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Stabilizing quantum disjunction
• Cut elimination in categories
• Structural cut elimination. I: Intuitionistic and classical logic
• What is Logic?
• λ-definable functionals andβη conversion
• Extensional Rewriting with Sums
• The correspondence between cut-elimination and normalization
• Normalization as a homomorphic image of cut-elimination
• Identity of Proofs Based on Normalization and Generality
• Lambda terms for natural deduction, sequent calculus and cut elimination
• Revisiting Zucker’s Work on the Correspondence Between Cut-Elimination and Normalisation
• Proof-theoretic semantics, paradoxes and the distinction between sense and denotation