{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T00:29:29Z","timestamp":1761611369172},"reference-count":22,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2015,3,20]],"date-time":"2015-03-20T00:00:00Z","timestamp":1426809600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["The Review of Symbolic Logic"],"published-print":{"date-parts":[[2015,6]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>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.<\/jats:p>","DOI":"10.1017\/s1755020315000027","type":"journal-article","created":{"date-parts":[[2015,3,20]],"date-time":"2015-03-20T14:32:50Z","timestamp":1426861970000},"page":"296-305","source":"Crossref","is-referenced-by-count":8,"title":["ON THE NOTION OF CANONICAL DERIVATIONS FROM OPEN ASSUMPTIONS AND ITS ROLE IN PROOF-THEORETIC SEMANTICS"],"prefix":"10.1017","volume":"8","author":[{"given":"NISSIM","family":"FRANCEZ","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,3,20]]},"reference":[{"key":"S1755020315000027_ref20","doi-asserted-by":"publisher","DOI":"10.1093\/jigpal\/10.3.299"},{"key":"S1755020315000027_ref19","doi-asserted-by":"crossref","first-page":"329","DOI":"10.1007\/978-3-319-11041-7_15","volume-title":"Dag Prawitz on Proofs and Meaning. Studia Logica Outstanding Contributions to Logic Series","author":"Schroeder-Heister","year":"2015"},{"key":"S1755020315000027_ref4","article-title":"Views of proof-theoretic semantics: Reified proof-theoretic meanings","author":"Francez","year":"2014","journal-title":"Journal of Computational Logic"},{"key":"S1755020315000027_ref10","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129501003322"},{"key":"S1755020315000027_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-011-9208-0"},{"key":"S1755020315000027_ref16","first-page":"525","volume-title":"Special Issue of Synthese","volume":"148","author":"Schroeder-Heister","year":"2006"},{"key":"S1755020315000027_ref11","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-004-6295-2"},{"key":"S1755020315000027_ref5","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000098"},{"key":"S1755020315000027_ref22","doi-asserted-by":"publisher","DOI":"10.1002\/malq.200310047"},{"key":"S1755020315000027_ref18","doi-asserted-by":"publisher","DOI":"10.1007\/s11229-011-9910-z"},{"key":"S1755020315000027_ref14","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1007\/978-3-319-11041-7_13","volume-title":"Dag Prawitz on Proofs and Meaning. Studia Logica Outstanding Contributions to Logic Series","author":"Read","year":"2015"},{"key":"S1755020315000027_ref15","doi-asserted-by":"publisher","DOI":"10.2307\/2274279"},{"key":"S1755020315000027_ref17","first-page":"187","volume-title":"The Logica 2007 Yearbook","author":"Schroeder-Heister","year":"2008"},{"key":"S1755020315000027_ref12","doi-asserted-by":"publisher","DOI":"10.1093\/analys\/21.2.38"},{"key":"S1755020315000027_ref1","doi-asserted-by":"publisher","DOI":"10.1145\/382780.382785"},{"key":"S1755020315000027_ref3","volume-title":"The Logical Basis of Metaphysics","author":"Dummett","year":"1993"},{"key":"S1755020315000027_ref2","doi-asserted-by":"publisher","DOI":"10.1017\/S0022481200028462"},{"key":"S1755020315000027_ref7","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.2.261"},{"key":"S1755020315000027_ref8","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/1.5.635"},{"key":"S1755020315000027_ref9","first-page":"5","article-title":"How fundamental is the fundamental assumption?","volume":"XXXI","author":"K\u00fcrbis","year":"2012","journal-title":"Teorema"},{"key":"S1755020315000027_ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10992-010-9133-7"},{"key":"S1755020315000027_ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s001530100091"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020315000027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,8]],"date-time":"2023-08-08T22:31:11Z","timestamp":1691533871000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020315000027\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,20]]},"references-count":22,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["S1755020315000027"],"URL":"https:\/\/doi.org\/10.1017\/s1755020315000027","relation":{},"ISSN":["1755-0203","1755-0211"],"issn-type":[{"value":"1755-0203","type":"print"},{"value":"1755-0211","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,20]]}}}