{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T00:21:29Z","timestamp":1773447689284,"version":"3.50.1"},"reference-count":15,"publisher":"Duke University Press","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Notre Dame J. Formal Logic"],"published-print":{"date-parts":[[2013,1,1]]},"DOI":"10.1215\/00294527-1731398","type":"journal-article","created":{"date-parts":[[2012,12,14]],"date-time":"2012-12-14T14:15:27Z","timestamp":1355494527000},"source":"Crossref","is-referenced-by-count":12,"title":["On the Equivalence Conjecture for Proof-Theoretic Harmony"],"prefix":"10.1215","volume":"54","author":[{"given":"Florian","family":"Steinberger","sequence":"first","affiliation":[]}],"member":"73","reference":[{"key":"1","doi-asserted-by":"crossref","unstructured":"[1] Belnap, N., \u201cTonk, plonk and plink.\u201d <i>Analysis<\/i>, vol. 22 (1962), pp. 130\u201334.","DOI":"10.1093\/analys\/22.6.130"},{"key":"2","unstructured":"[2] Dummett, M., <i>The Logical Basis of Metaphysics<\/i>, The William James Lectures, 1976, Harvard University Press, Cambridge, Mass., 1991."},{"key":"3","doi-asserted-by":"crossref","unstructured":"[3] Gentzen, G., \u201cInvestigations into logical deduction,\u201d pp. 68\u2013128 in <i>The Collected Papers of Gerhard Gentzen<\/i>, edited by M. Szabo, <i>Studies in Logic and the Foundations of Mathematics<\/i>, North-Holland, Amsterdam, 1969.","DOI":"10.1016\/S0049-237X(08)70822-X"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] Hodes, H., \u201cOn the sense and reference of a logical constant,\u201d <i>Philosophical Quarterly<\/i>, vol. 54 (2004), pp. 134\u201365.","DOI":"10.1111\/j.0031-8094.2004.00345.x"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] Prawitz, D., \u201cMeaning and proofs: On the conflict between classical and intuitionistic logic,\u201d <i>Theoria<\/i>, vol. 43 (1977), pp. 2\u201340.","DOI":"10.1111\/j.1755-2567.1977.tb00776.x"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] Prawitz, D., \u201cProofs and the meaning and completeness of the logical constants,\u201d pp. 25\u201340 in <i>Essays on Mathematical and Philosophical Logic<\/i>, edited by J. Hintikka, vol. 122 of <i>Synthese Library<\/i>, Reidel, Dordrecht, 1979.","DOI":"10.1007\/978-94-009-9825-4_2"},{"key":"7","unstructured":"[7] Prawitz, D., <i>Natural Deduction: A Proof-Theoretical Study<\/i>, Dover, Mineola, N. Y., 2006."},{"key":"8","doi-asserted-by":"crossref","unstructured":"[8] Prior, A., \u201cThe runabout inference ticket,\u201d <i>Analysis<\/i>, vol. 21 (1960), pp. 38\u201339.","DOI":"10.1093\/analys\/21.2.38"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Steinberger, F., \u201cNot so stable,\u201d <i>Analysis<\/i>, vol. 69 (2009), pp. 655\u201361.","DOI":"10.1093\/analys\/anp100"},{"key":"10","doi-asserted-by":"publisher","unstructured":"[10] Steinberger, F., \u201cHarmony in a sequent setting: A reply to Tennant,\u201d <i>Analysis<\/i>, vol. 71 (2011), pp. 273\u201380.","DOI":"10.1093\/analys\/anr022"},{"key":"11","doi-asserted-by":"crossref","unstructured":"[11] Steinberger, F., \u201cWhat harmony could and could not be,\u201d <i>Australasian Journal of Philosophy<\/i>, vol. 89 (2011), pp. 617\u201339.","DOI":"10.1080\/00048402.2010.528781"},{"key":"12","unstructured":"[12] Tennant, N., <i>Anti-realism and Logic<\/i>, Oxford University Press, Oxford, 1987."},{"key":"13","unstructured":"[13] Tennant N., <i>The Taming of the True<\/i>, Clarendon Press, Oxford, 1997."},{"key":"14","unstructured":"[14] Tennant, N., \u201cInferentialism, logicism, harmony and a counterpoint,\u201d forthcoming in <i>Essays for Crispin Wright: Logic, Language and Mathematics<\/i>, edited by A. Miller, Oxford University Press, Oxford."},{"key":"15","doi-asserted-by":"publisher","unstructured":"[15] Tennant, N., \u201cHarmony in a sequent setting,\u201d <i>Analysis<\/i>, vol. 70 (2011), pp. 462\u201368.","DOI":"10.1093\/analys\/anq026"}],"container-title":["Notre Dame Journal of Formal Logic"],"original-title":[],"link":[{"URL":"https:\/\/projecteuclid.org\/journalArticle\/Download?urlid=10.1215\/00294527-1731398","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,30]],"date-time":"2024-01-30T20:58:02Z","timestamp":1706648282000},"score":1,"resource":{"primary":{"URL":"https:\/\/projecteuclid.org\/journals\/notre-dame-journal-of-formal-logic\/volume-54\/issue-1\/On-the-Equivalence-Conjecture-for-Proof-Theoretic-Harmony\/10.1215\/00294527-1731398.full"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1,1]]},"references-count":15,"journal-issue":{"issue":"1","published-online":{"date-parts":[[2013,1,1]]}},"URL":"https:\/\/doi.org\/10.1215\/00294527-1731398","relation":{},"ISSN":["0029-4527"],"issn-type":[{"value":"0029-4527","type":"print"}],"subject":[],"published":{"date-parts":[[2013,1,1]]}}}