{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T15:58:04Z","timestamp":1762271884373},"reference-count":21,"publisher":"Cambridge University Press (CUP)","issue":"4","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,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The rules for Core Logic are stated, and various important results about the system are summarized. We describe its relationship to other systems, such as Classical Logic, Intuitionistic Logic, Minimal Logic, and the Anderson\u2013Belnap relevance logic<jats:bold>R<\/jats:bold>. A precise, positive explication is offered of what it is for the premises of a proof to connect relevantly with its conclusion. This characterization exploits the notion of positive and negative occurrences of atoms in sentences. It is shown that all Core proofs are relevant in this precisely defined sense. We survey extant results about variable-sharing in rival systems of relevance logic, and find that the variable-sharing conditions established for them are weaker than the one established here for Core Logic (and for its classical extension). Proponents of other systems of relevance logic (such as<jats:bold>R<\/jats:bold>and its subsystems) are challenged to formulate a stronger variable-sharing condition, and to prove that<jats:bold>R<\/jats:bold>or any of its subsystems satisfies it, but that Core Logic does not. We give reasons for pessimism about the prospects for meeting this challenge.<\/jats:p>","DOI":"10.1017\/s1755020315000040","type":"journal-article","created":{"date-parts":[[2015,3,20]],"date-time":"2015-03-20T14:33:36Z","timestamp":1426862016000},"page":"743-784","source":"Crossref","is-referenced-by-count":19,"title":["THE RELEVANCE OF PREMISES TO CONCLUSIONS OF CORE PROOFS"],"prefix":"10.1017","volume":"8","author":[{"given":"NEIL","family":"TENNANT","sequence":"first","affiliation":[]}],"member":"56","published-online":{"date-parts":[[2015,3,20]]},"reference":[{"key":"S1755020315000040_ref5","doi-asserted-by":"publisher","DOI":"10.1007\/BF00935740"},{"key":"S1755020315000040_ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.apal.2013.07.004"},{"key":"S1755020315000040_ref16","doi-asserted-by":"publisher","DOI":"10.1215\/00294527-1715707"},{"key":"S1755020315000040_ref19","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020311000360"},{"key":"S1755020315000040_ref20","doi-asserted-by":"publisher","DOI":"10.1093\/philmat\/nku009"},{"key":"S1755020315000040_ref17","doi-asserted-by":"publisher","DOI":"10.2307\/2274279"},{"key":"S1755020315000040_ref8","doi-asserted-by":"publisher","DOI":"10.1007\/BF00248734"},{"key":"S1755020315000040_ref15","volume-title":"Relevant Logic: A Philosophical Examination of Inference","author":"Read","year":"1988"},{"key":"S1755020315000040_ref14","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"Prawitz","year":"1965"},{"key":"S1755020315000040_ref12","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Mares","year":"2012a"},{"key":"S1755020315000040_ref21","doi-asserted-by":"publisher","DOI":"10.1017\/S1755020315000088"},{"key":"S1755020315000040_ref2","doi-asserted-by":"publisher","DOI":"10.1305\/ndjfl\/1093636610"},{"key":"S1755020315000040_ref7","doi-asserted-by":"publisher","DOI":"10.2307\/2963593"},{"key":"S1755020315000040_ref18","volume-title":"Autologic","author":"Tennant","year":"1992"},{"key":"S1755020315000040_ref1","volume-title":"Entailment: The Logic of Relevance and Necessity","volume":"I","author":"Anderson","year":"1975"},{"key":"S1755020315000040_ref13","volume-title":"The Stanford Encyclopedia of Philosophy","author":"Mares","year":"2012b"},{"key":"S1755020315000040_ref3","unstructured":"Avron A . (2013). http:\/\/www.cs.nyu.edu\/pipermail\/fom\/2013-November\/017725.html. [FOM] question about relevance and variable-sharing."},{"key":"S1755020315000040_ref11","first-page":"5","article-title":"O mod\u00e9l\u00e1h is\u010disl\u00e9ni\u00e1 E (On models of the system E)","volume":"6","author":"Maksimova","year":"1967","journal-title":"Alg\u00e9bra i logika, S\u00e9minar"},{"key":"S1755020315000040_ref9","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1093\/oso\/9780198537779.003.0006","volume-title":"Substructural Logics","author":"Kron","year":"1993"},{"key":"S1755020315000040_ref6","doi-asserted-by":"publisher","DOI":"10.1007\/BF00260741"},{"key":"S1755020315000040_ref10","doi-asserted-by":"publisher","DOI":"10.2140\/pjm.1959.9.129"}],"container-title":["The Review of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S1755020315000040","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,7]],"date-time":"2024-06-07T23:12:56Z","timestamp":1717801976000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S1755020315000040\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,20]]},"references-count":21,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["S1755020315000040"],"URL":"https:\/\/doi.org\/10.1017\/s1755020315000040","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]]}}}