Article contents
ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
Published online by Cambridge University Press: 20 March 2015
Abstract
The 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.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2015
References
BIBLIOGRAPHY
- 8
- Cited by