{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,1,31]],"date-time":"2024-01-31T00:11:24Z","timestamp":1706659884469},"reference-count":7,"publisher":"Duke University Press","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2017,1,1]]},"DOI":"10.1215\/00294527-3839326","type":"journal-article","created":{"date-parts":[[2017,2,4]],"date-time":"2017-02-04T03:04:24Z","timestamp":1486177464000},"source":"Crossref","is-referenced-by-count":1,"title":["Why Intuitionistic Relevant Logic Cannot Be a Core Logic"],"prefix":"10.1215","volume":"58","author":[{"given":"Joseph","family":"Vidal-Rosset","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"73","reference":[{"key":"1","unstructured":"[1] David, R., K. Nour, and C. Raffalli, <i>Introduction \u00e0 la logique (Th\u00e9orie de la d\u00e9monstration, cours et exercices corrig\u00e9s)<\/i>, Dunod, Paris, 2003."},{"key":"2","unstructured":"[2] Leibniz, G. W., <i>Recherches g\u00e9n\u00e9rales sur l\u2019analyse des notions et des v\u00e9rit\u00e9s: 24 th\u00e8ses m\u00e9taphysiques et autres textes logiques et m\u00e9taphysiques, edited by J.-B. Rauzy<\/i>, Presses universitaires de France, Paris, France, 1998."},{"key":"3","unstructured":"[3] Prawitz, D., <i>Natural Deduction\u2014A Proof Theoretical Study<\/i>, 2nd ed., Dover, Mineola, N.Y., 2006."},{"key":"4","unstructured":"[4] Tennant, N., <i>Autologic<\/i>, Edinburgh University Press, Edinburgh, 1992."},{"key":"5","unstructured":"[5] Tennant, N., <i>The Taming of the True<\/i>, Oxford University Press, New York, 1997."},{"key":"6","doi-asserted-by":"publisher","unstructured":"[6] Tennant, N., \u201cUltimate Normal Forms for Parallelized Natural Deductions,\u201d <i>Logic Journal of the IGPL<\/i>, vol. 10 (2002), pp. 299\u2013337.","DOI":"10.1093\/jigpal\/10.3.299"},{"key":"7","doi-asserted-by":"crossref","unstructured":"[7] Tennant, N., \u201cRelevance in Reasoning,\u201d pp. 696\u2013726 in <i>The Oxford Handbook of Philosophy of Mathematics and Logic<\/i>, edited by S. Shapiro, Oxford University Press, Oxford, 2005.","DOI":"10.1093\/0195148770.003.0023"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3839326","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:59:13Z","timestamp":1706648353000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-58\/issue-2\/Why-Intuitionistic-Relevant-Logic-Cannot-Be-a-Core-Logic\/10.1215\/00294527-3839326.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":7,"journal-issue":{"issue":"2","published-online":{"date-parts":[[2017,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3839326","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}