{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:30:24Z","timestamp":1740123024254,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T00:00:00Z","timestamp":1623196800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T00:00:00Z","timestamp":1623196800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["SFRH\/BI\/33955\/2009"],"award-info":[{"award-number":["SFRH\/BI\/33955\/2009"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001659","name":"Deutsche Forschungsgemeinschaft","doi-asserted-by":"crossref","award":["Schr275\/17-1"],"award-info":[{"award-number":["Schr275\/17-1"]}],"id":[{"id":"10.13039\/501100001659","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004586","name":"Funda\u00e7\u00e3o Carlos Chagas Filho de Amparo \u00e1 Pesquisa do Estado do Rio de","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004586","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Stud Logica"],"published-print":{"date-parts":[[2021,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>The calculus of Natural Calculation is introduced as an extension of Natural Deduction by proper term rules. Such term rules provide the capacity of dealing directly with terms in the calculus instead of the usual reasoning based on equations, and therefore the capacity of a natural representation of informal mathematical calculations. Basic proof theoretic results are communicated, in particular completeness and soundness of the calculus; normalisation is briefly investigated. The philosophical impact on a proof theoretic account of the notion of meaning is considered.<\/jats:p>","DOI":"10.1007\/s11225-020-09938-7","type":"journal-article","created":{"date-parts":[[2021,6,9]],"date-time":"2021-06-09T16:04:33Z","timestamp":1623254673000},"page":"1375-1411","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["The Calculus of Natural Calculation"],"prefix":"10.1007","volume":"109","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5893-340X","authenticated-orcid":false,"given":"Ren\u00e9","family":"Gazzari","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,6,9]]},"reference":[{"issue":"2","key":"9938_CR1","first-page":"113","volume":"2","author":"I Anellis","year":"1991","unstructured":"Anellis, I., Forty Years of \u201cUnnatural\u201d Natural Deduction and Quantication: A History of First-order Systems of Natural Deduction, From Gentzen to Copi, Modern Logic 2(2):113\u2013152, 1991.","journal-title":"Modern Logic"},{"key":"9938_CR2","doi-asserted-by":"crossref","unstructured":"Arana, A., On Formally Measuring and Eliminating Extraneous Notions in Proofs, Philosophia Mathematica (III) 17(2):189\u2013207, 2009.","DOI":"10.1093\/philmat\/nkn015"},{"key":"9938_CR3","doi-asserted-by":"crossref","unstructured":"Barendregt, H., The Impact of the Lambda Calculus, Bulletin of Symbolic Logic 3(2):181\u2013215, 1997.","DOI":"10.2307\/421013"},{"key":"9938_CR4","doi-asserted-by":"crossref","unstructured":"Do\u0161en, K., Identity of Proofs Based on Normalization and Generality, Bulletin of Symbolic Logic 9:477\u2013503, 2003.","DOI":"10.2178\/bsl\/1067620091"},{"key":"9938_CR5","unstructured":"Do\u0161en, K., and P. Schroeder-Heister, (eds.), Substructural Logics, Studies in Logic and Computation, Oxford University Press, 1993."},{"key":"9938_CR6","unstructured":"Francez, N., Proof-Theoretic Semantics, College Publication, 2015."},{"issue":"1","key":"9938_CR7","first-page":"25","volume":"100","author":"G Frege","year":"1892","unstructured":"Frege, G., Sinn und Bedeutung, Zeitschrift f\u00fcr Philosophie und Philosophische Kritik 100(1):25\u201350, 1892.","journal-title":"Zeitschrift f\u00fcr Philosophie und Philosophische Kritik"},{"key":"9938_CR8","doi-asserted-by":"publisher","unstructured":"Gazzari, R., The Calculus of Natural Calculation (presentation), in T. Piecha, and P. Schroeder-Heister, (eds.), Proof-Theoretic Semantics: Assessment and Future Perspectives. Proceedings of the Third T\u00fcbingen Conference on Proof-Theoretic Semantics, 27\u201330 March 2019, University of T\u00fcbingen, 2019, pp. 123\u2013137. https:\/\/doi.org\/10.15496\/publikation-35319","DOI":"10.15496\/publikation-35319"},{"key":"9938_CR9","unstructured":"Gazzari, R., Formal Theories of Occurrences and Substitutions, Ph.D. thesis, University of T\u00fcbingen, 2020."},{"key":"9938_CR10","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/BF01201353","volume":"39","author":"G Gentzen","year":"1934","unstructured":"Gentzen, G., Untersuchungen \u00fcber das logische Schlie\u00dfen, Mathematische Zeitschrift 39:176\u2013210, 1934.","journal-title":"Mathematische Zeitschrift"},{"key":"9938_CR11","first-page":"68","volume-title":"The Collected Papers of Gerhard Gentzen","author":"G Gentzen","year":"1969","unstructured":"Gentzen, G., Investigations into Logical Deduction, in M.\u00a0E. Szabo, (ed.), The Collected Papers of Gerhard Gentzen, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1969, pp. 68\u2013131."},{"key":"9938_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86894-8","volume-title":"Grundlagen der Mathematik","author":"D Hilbert","year":"1968","unstructured":"Hilbert, D., and P. Bernays, Grundlagen der Mathematik, 2nd edn., Springer, Berlin, 1968.","edition":"2"},{"key":"9938_CR13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-86896-2","volume-title":"Grundlagen der Mathematik II","author":"D Hilbert","year":"1970","unstructured":"Hilbert, D., and P. Bernays, Grundlagen der Mathematik II, 2nd edn., Springer, Berlin, 1970.","edition":"2"},{"key":"9938_CR14","first-page":"20180040","volume":"377","author":"I Hipolito","year":"2019","unstructured":"Hipolito, I., and R. Kahle, Discussing Hilbert\u2019s 24th Problem, Transactions of the Royal Society A 377:20180040, 2019.","journal-title":"Transactions of the Royal Society A"},{"key":"9938_CR15","doi-asserted-by":"crossref","unstructured":"Indrzejczak, A., A Novel Approach to Equality, Synthese 2021.","DOI":"10.1007\/s11229-020-03000-8"},{"key":"9938_CR16","first-page":"5","volume":"1","author":"S Ja\u015bkowski","year":"1934","unstructured":"Ja\u015bkowski, S., On the Rules of Suppositions in Formal Logic, Studia Logica 1:5\u201332, 1934.","journal-title":"Studia Logica"},{"key":"9938_CR17","doi-asserted-by":"crossref","unstructured":"Kahle, R., Towards a Proof-Theoretic Semantics of Equalities, in T. Piecha, and P. Schroeder-Heister, (eds.), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer Open, 2016, pp. 153\u2013160.","DOI":"10.1007\/978-3-319-22686-6_9"},{"key":"9938_CR18","doi-asserted-by":"publisher","first-page":"867","DOI":"10.1007\/s10992-018-09499-0","volume":"48","author":"A Klev","year":"2019","unstructured":"Klev, A., The Harmony of Identity, Journal of Philosophical Logic 48:867\u2013884, 2019.","journal-title":"Journal of Philosophical Logic"},{"key":"9938_CR19","unstructured":"Nolt, J., Free Logic, in E.\u00a0N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, winter 2020 edn., Metaphysics Research Lab, Stanford University, 2020."},{"key":"9938_CR20","volume-title":"La Science et l\u2019Hypoth\u00e8se","author":"H Poincar\u00e9","year":"1902","unstructured":"Poincar\u00e9, H., La Science et l\u2019Hypoth\u00e8se, Flammarion, Paris, 1902."},{"key":"9938_CR21","volume-title":"Natural Deduction: A Proof-Theoretical Study","author":"D Prawitz","year":"1965","unstructured":"Prawitz, D., Natural Deduction: A Proof-Theoretical Study, Almqvist & Wiksell, Stockholm, 1965."},{"key":"9938_CR22","doi-asserted-by":"crossref","unstructured":"Prawitz, D., Ideas and Results in Proof Theory, in J.\u00a0E. Fenstad, (ed.), Proceedings of the Second Scandinavian Logic Symposium (Oslo 1970), North-Holland, Amsterdam, 1971, pp. 235\u2013308.","DOI":"10.1016\/S0049-237X(08)70849-8"},{"key":"9938_CR23","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1093\/analys\/64.2.113","volume":"64","author":"S Read","year":"2004","unstructured":"Read, S., Identity and Harmony, Analysis 64:2, 2004.","journal-title":"Analysis"},{"key":"9938_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S175502031800031X","volume":"12","author":"G Restall","year":"2019","unstructured":"Restall, G., Generality and Existence I: Quantification and Free Logic, Review of Symbolic Logic 12:1\u201329, 2019.","journal-title":"Review of Symbolic Logic"},{"key":"9938_CR25","doi-asserted-by":"crossref","unstructured":"Robinson, J.\u00a0A., Proof = Guarantee + Explanation, in St. H\u00f6lldobler, (ed.), Intellectics and Computational Logic, vol.\u00a019 of Applied Logic Series, Kluwer, Dordrecht, 2000, pp. 277\u2013294.","DOI":"10.1007\/978-94-015-9383-0_17"},{"key":"9938_CR26","doi-asserted-by":"crossref","unstructured":"Schroeder-Heister, P., Open Problems in Proof-Theoretic Semantics, in T. Piecha, and P. Schroeder-Heister, (eds.), Advances in Proof-Theoretic Semantics, Trends in Logic 43, Springer Open, pp. 253\u2013283, 2016.","DOI":"10.1007\/978-3-319-22686-6_16"},{"key":"9938_CR27","unstructured":"Schroeder-Heister, P., Proof-Theoretic Semantics, in E\u00a0N. Zalta, (ed.), The Stanford Encyclopedia of Philosophy, spring 2018 edn., Metaphysics Research Lab, Stanford University, 2018."},{"key":"9938_CR28","doi-asserted-by":"crossref","unstructured":"Sch\u00fctte, K., Proof Theory, vol. 225 of Grundlehren der mathematischen Wissenschaften, Springer, Berlin, 1977.","DOI":"10.1007\/978-3-642-66473-1"},{"issue":"1","key":"9938_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/00029890.2003.11919933","volume":"110","author":"R Thiele","year":"2003","unstructured":"Thiele, R., Hilbert\u2019s Twenty-Fourth Problem, The American Mathematical Monthly 110(1), 1\u201324, 2003.","journal-title":"The American Mathematical Monthly"},{"key":"9938_CR30","unstructured":"Troelstra, A. S., and H. Schwichtenberg, Basic Proof Theory (2nd edition), vol.\u00a043 of Cambridge Tracts in Theoretical Computer Science, Cambridge University Press, 2000."},{"key":"9938_CR31","unstructured":"van Dalen, D., Logic & Structure (4th ed., corrected 2nd printing), Universitext, Springer, Berlin, 2008."},{"issue":"4","key":"9938_CR32","first-page":"199","volume":"1","author":"J von Neumann","year":"1923","unstructured":"von Neumann, J., Zur Einf\u00fchrung der transfiniten Zahlen, Acta Scientiarum Mathematicarum (Szeged) 1(4):199\u2013208, 1923.","journal-title":"Acta Scientiarum Mathematicarum (Szeged)"},{"key":"9938_CR33","doi-asserted-by":"crossref","unstructured":"Wansing, H., The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations, Studia Logica 64, 2000.","DOI":"10.1023\/A:1005217827758"},{"key":"9938_CR34","doi-asserted-by":"crossref","unstructured":"Wi\u0229ckowski, B., Rules for Subatomic Derivation, The Review of Symbolic Logic 4(2):219\u2013236, 2011.","DOI":"10.1017\/S175502031000033X"},{"key":"9938_CR35","volume-title":"Philosophical Investigations","author":"L Wittgenstein","year":"1994","unstructured":"Wittgenstein, L., Philosophical Investigations, Blackwell, Oxford, 1994."}],"container-title":["Studia Logica"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09938-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11225-020-09938-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11225-020-09938-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,12]],"date-time":"2021-11-12T18:24:47Z","timestamp":1636741487000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11225-020-09938-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,9]]},"references-count":35,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2021,12]]}},"alternative-id":["9938"],"URL":"https:\/\/doi.org\/10.1007\/s11225-020-09938-7","relation":{},"ISSN":["0039-3215","1572-8730"],"issn-type":[{"type":"print","value":"0039-3215"},{"type":"electronic","value":"1572-8730"}],"subject":[],"published":{"date-parts":[[2021,6,9]]},"assertion":[{"value":"20 January 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"28 December 2020","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"9 June 2021","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}