{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T10:44:42Z","timestamp":1774953882775,"version":"3.50.1"},"reference-count":8,"publisher":"Duke University Press","issue":"1","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-3768059","type":"journal-article","created":{"date-parts":[[2016,11,25]],"date-time":"2016-11-25T03:00:47Z","timestamp":1480042847000},"source":"Crossref","is-referenced-by-count":1,"title":["Inferentialism and Quantification"],"prefix":"10.1215","volume":"58","author":[{"given":"Owen","family":"Griffiths","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","unstructured":"[1] Brandom, R., <i>Making it Explicit<\/i>, Harvard University Press, Cambridge, Mass., 1994."},{"key":"2","unstructured":"[2] Dummett, M., <i>Frege: Philosophy of Mathematics<\/i>, Harvard University Press, Cambridge, Mass., 1991."},{"key":"3","unstructured":"[3] Kleene, S. C., <i>Introduction to Metamathematics<\/i>, North-Holland, Amsterdam, 1952."},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Negri, S., and J. von Plato, <i>Structural Proof Theory<\/i>, with Appendix C by A. Ranta, Cambridge University Press, Cambridge, 2001.","DOI":"10.1017\/CBO9780511527340"},{"key":"5","doi-asserted-by":"crossref","unstructured":"[5] Prawitz, D., \u201cOn the idea of a general proof theory,\u201d <i>Synthese<\/i>, vol. 27 (1974), pp. 63\u201377.","DOI":"10.1007\/BF00660889"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Read, S., \u201cHarmony and autonomy in classical logic,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 29 (2000), pp. 123\u201354.","DOI":"10.1023\/A:1004787622057"},{"key":"7","unstructured":"[7] Rosser, J. B., <i>Logic for Mathematicians<\/i>, McGraw-Hill, New York, 1953."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Steinberger, F., \u201cWhy conclusions should remain single,\u201d <i>Journal of Philosophical Logic<\/i>, vol. 40 (2011), pp. 333\u201355.","DOI":"10.1007\/s10992-010-9153-3"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-3768059","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:59Z","timestamp":1706648339000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-58\/issue-1\/Inferentialism-and-Quantification\/10.1215\/00294527-3768059.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,1]]},"references-count":8,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2017,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-3768059","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2017,1,1]]}}}