ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS. Issue 2 (20th March 2015)
- Record Type:
- Journal Article
- Title:
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS. Issue 2 (20th March 2015)
- Main Title:
- ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS
- Authors:
- FRANCEZ, NISSIM
- Abstract:
- 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.
- Is Part Of:
- Review of symbolic logic. Volume 8:Issue 2(2015)
- Journal:
- Review of symbolic logic
- Issue:
- Volume 8:Issue 2(2015)
- Issue Display:
- Volume 8, Issue 2 (2015)
- Year:
- 2015
- Volume:
- 8
- Issue:
- 2
- Issue Sort Value:
- 2015-0008-0002-0000
- Page Start:
- 296
- Page End:
- 305
- Publication Date:
- 2015-03-20
- Subjects:
- Logic, Symbolic and mathematical -- Periodicals
511.3 - Journal URLs:
- http://journals.cambridge.org/action/displayJournal?jid=RSL ↗
- DOI:
- 10.1017/S1755020315000027 ↗
- Languages:
- English
- ISSNs:
- 1755-0203
- Deposit Type:
- Legaldeposit
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD Digital store
- Ingest File:
- 240.xml