Abstract
AbstractThe paper proposes an extension of the definition of a canonical proof, central to proof-theoretic semantics, to a definition of a canonical derivation from open assumptions. The impact of the extension on the definition of (reified) proof-theoretic meaning of logical constants is discussed. The extended definition also sheds light on a puzzle regarding the definition of local-completeness of a natural-deduction proof-system, underlying its harmony.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Reference22 articles.
1. Ultimate Normal Forms for Parallelized Natural Deductions
2. Views of proof-theoretic semantics: Reified proof-theoretic meanings;Francez;Journal of Computational Logic,2014
3. A judgmental reconstruction of modal logic
4. A Note on Harmony
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献