{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,27]],"date-time":"2025-09-27T08:20:32Z","timestamp":1758961232690,"version":"3.37.3"},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"4-5","license":[{"start":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T00:00:00Z","timestamp":1720828800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T00:00:00Z","timestamp":1720828800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2024,12]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>Arithmetical texts involving division are governed by conventions that avoid the risk of problems to do with division by zero (DbZ). A model for elementary arithmetic texts is given, and with the help of many examples and counter examples a partial description of what may be called <jats:italic>traditional conventions<\/jats:italic> on DbZ is explored. We introduce the informal notions of legal and illegal texts to analyse these conventions. First, we show that the legality of a text is algorithmically undecidable. As a consequence, we know that there is no simple sound and complete set of guidelines to determine unambiguously how DbZ is to be avoided. We argue that these observations call for further explorations of mathematical conventions. We propose a method using logics to progress the analysis of legality versus illegality: arithmetical texts in a model can be transformed into logical formulae over special total algebras that are able to approximate partiality but in a total world. The algebras we use are called <jats:italic>common meadows<\/jats:italic>. Our dive into informal mathematical practice using formal methods opens up questions about DbZ which we address in conclusion.<\/jats:p>","DOI":"10.1007\/s10849-024-09420-w","type":"journal-article","created":{"date-parts":[[2024,7,13]],"date-time":"2024-07-13T12:01:45Z","timestamp":1720872105000},"page":"277-298","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Logical Models of Mathematical Texts: The Case of Conventions for Division by Zero"],"prefix":"10.1007","volume":"33","author":[{"given":"Jan A.","family":"Bergstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4689-8760","authenticated-orcid":false,"given":"John V.","family":"Tucker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2024,7,13]]},"reference":[{"key":"9420_CR1","doi-asserted-by":"crossref","unstructured":"Allamanis, M., Barr, E.T., Bird, C., & Sutton, C. (2014). Learning natural coding conventions. FSE 2014: Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, ACM.","DOI":"10.1145\/2635868.2635883"},{"key":"9420_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, J.A., V\u00f6lker, N., & Adams, A.A. (2007). Perspecx machine VIII, axioms of transreal arithmetic. In J. Latecki, D. M. Mount and A. Y. Wu (eds.), Vision Geometry XV, 649902.","DOI":"10.1117\/12.698153"},{"issue":"3","key":"9420_CR3","doi-asserted-by":"publisher","first-page":"834","DOI":"10.2307\/2274574","volume":"53","author":"H Andreka","year":"1988","unstructured":"Andreka, H., Craig, W., & Nemeti, I. (1988). A system of logic for partial functions under existence-dependent Kleene equality. Journal of Symbolic Logic, 53(3), 834\u2013839.","journal-title":"Journal of Symbolic Logic"},{"issue":"1","key":"9420_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.7561\/SACS.2019.1.1","volume":"29","author":"JA Bergstra","year":"2019","unstructured":"Bergstra, J. A. (2019). Adams conditioning and likelihood ratio transfer mediated inference. Scientific Annals of Computer Science, 29(1), 1\u201358.","journal-title":"Scientific Annals of Computer Science"},{"key":"9420_CR5","doi-asserted-by":"publisher","unstructured":"Bergstra, J. A. (2019). Division by zero, a survey of options. Transmathematica. https:\/\/doi.org\/10.36285\/tm.v0i0.17","DOI":"10.36285\/tm.v0i0.17"},{"key":"9420_CR6","unstructured":"Bergstra, J. A. (2021). Division by zero in logic and computing. HAL Archives Ouvertes, https:\/\/hal.archives-ouvertes.fr\/hal-03184956."},{"issue":"2","key":"9420_CR7","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1080\/11663081.1995.10510855","volume":"5","author":"JA Bergstra","year":"1995","unstructured":"Bergstra, J. A., Bethke, I., & Rodenburg, P. H. (1995). A propositional logic with 4 values: true, false, divergent and meaningless. Journal of Applied Non-Classical Logics, 5(2), 199\u2013217.","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"9420_CR8","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.jal.2016.03.001","volume":"16","author":"JA Bergstra","year":"2015","unstructured":"Bergstra, J. A., & Middelburg, C. A. (2015). Transformation of fractions into simple fractions in divisive meadows. Journal of Applied Logic, 16, 92\u2013110.","journal-title":"Journal of Applied Logic"},{"key":"9420_CR9","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., & Ponse, A. (2015). Division by zero in common meadows. In R. de Nicola and R. Hennicker (eds.) Software, Services, and Systems (Wirsing Festschrift) Lecture Notes in Computer Science 8950, (pp.46\u201361). Springer. Also, in improved form: arXiv:1406.6878v4 [math.RA]. (2021)","DOI":"10.1007\/978-3-319-15545-6_6"},{"key":"9420_CR10","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1016\/j.indag.2016.01.007","volume":"27","author":"JA Bergstra","year":"2016","unstructured":"Bergstra, J. A., & Ponse, A. (2016). Fracpairs and fractions over a reduced commutative ring. Indigationes Mathematicae, 27, 727\u2013748.","journal-title":"Indigationes Mathematicae"},{"issue":"2","key":"9420_CR11","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1145\/1219092.1219095","volume":"54","author":"JA Bergstra","year":"2007","unstructured":"Bergstra, J. A., & Tucker, J. V. (2007). The rational numbers as an abstract data type. Journal of the ACM, 54(2), 7.","journal-title":"Journal of the ACM"},{"key":"9420_CR12","doi-asserted-by":"publisher","unstructured":"Bergstra, J. A., & Tucker, J. V. (2020). The transrational numbers as an abstract data type. Transmathematica. https:\/\/doi.org\/10.36285\/tm.47","DOI":"10.36285\/tm.47"},{"key":"9420_CR13","doi-asserted-by":"crossref","unstructured":"Bergstra, J. A., & Tucker, J. V. (2021). The wheel of rational numbers as an abstract data type. In P. James & M. Roggenbach (Eds.), Workshop on Algebraic Development Techniques, Lecture Notes in Computer Science 12669, (pp. 1\u201318).","DOI":"10.1007\/978-3-030-73785-6_2"},{"key":"9420_CR14","doi-asserted-by":"publisher","unstructured":"Bergstra, J. A., & Tucker, J. V. (2022). Totalising partial algebras: teams and splinters. Transmathematica. https:\/\/doi.org\/10.36285\/tm.57","DOI":"10.36285\/tm.57"},{"key":"9420_CR15","doi-asserted-by":"crossref","unstructured":"Bergstra, J.A., & Tucker, J.V. (2022) Symmetric transrationals: The data type and the algorithmic degree of its equational theory. In N. Jansen et al. (eds.) A Journey From Process Algebra via Timed Automata to Model Learning - A Festschrift Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, Lecture Notes in Computer Science 13560, (pp. 63\u201380). Springer.","DOI":"10.1007\/978-3-031-15629-8_4"},{"issue":"7","key":"9420_CR16","doi-asserted-by":"publisher","first-page":"1565","DOI":"10.1093\/comjnl\/bxac026","volume":"66","author":"JA Bergstra","year":"2023","unstructured":"Bergstra, J. A., & Tucker, J. V. (2023). On the axioms of common meadows: Fracterm calculus, flattening and incompleteness. The Computer Journal, 66(7), 1565\u20131572.","journal-title":"The Computer Journal"},{"key":"9420_CR17","doi-asserted-by":"publisher","unstructured":"Bergstra, J.A., & Tucker, J.V. A complete finite axiomatisation of the equational theory of common meadows. https:\/\/doi.org\/10.48550\/arXiv.2307.04270","DOI":"10.48550\/arXiv.2307.04270"},{"issue":"9","key":"9420_CR18","doi-asserted-by":"publisher","first-page":"961","DOI":"10.3897\/jucs.87563","volume":"29","author":"JA Bergstra","year":"2023","unstructured":"Bergstra, J. A., & Tucker, J. V. (2023). Naive fracterm calculus. Journal of Universal Computer Science, 29(9), 961\u2013987. https:\/\/doi.org\/10.3897\/jucs.87563","journal-title":"Journal of Universal Computer Science"},{"issue":"3","key":"9420_CR19","doi-asserted-by":"publisher","first-page":"289","DOI":"10.3897\/jucs.107082","volume":"30","author":"JA Bergstra","year":"2024","unstructured":"Bergstra, J. A., & Tucker, J. V. (2024). Synthetic fracterm calculus. Journal of Universal Computer Science, 30(3), 289\u2013308. https:\/\/doi.org\/10.3897\/jucs.107082","journal-title":"Journal of Universal Computer Science"},{"issue":"1","key":"9420_CR20","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1017\/S0960129503004110","volume":"14","author":"J Carlstr\u00f6m","year":"2004","unstructured":"Carlstr\u00f6m, J. (2004). Wheels - on division by zero. Mathematical Structures in Computer Science, 14(1), 143\u2013184.","journal-title":"Mathematical Structures in Computer Science"},{"key":"9420_CR21","unstructured":"Carlstr\u00f6m, J. (2005). Partiality and choice, foundational contributions. PhD. Thesis, Stockholm University."},{"issue":"1","key":"9420_CR22","first-page":"11","volume":"46","author":"TS dos Reis","year":"2016","unstructured":"dos Reis, T. S., Gomide, W., & Anderson, J. A. D. W. (2016). Construction of the transreal numbers and algebraic transfields. IAENG International Journal of Applied Mathematics, 46(1), 11\u201323.","journal-title":"IAENG International Journal of Applied Mathematics"},{"key":"9420_CR23","doi-asserted-by":"publisher","unstructured":"dos Reis, T. S. (2019). Transreal integral. Transmathematica. https:\/\/doi.org\/10.36285\/tm.v0i0.13","DOI":"10.36285\/tm.v0i0.13"},{"key":"9420_CR24","unstructured":"Ehrich, H.D., Wolf, M., & Loeckx, J. (1997). Specification of Abstract Data Types. Vieweg + Teubner."},{"key":"9420_CR25","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/0304-3975(90)90005-3","volume":"74","author":"A Gavilanes-Franco","year":"1990","unstructured":"Gavilanes-Franco, A., & Lucio-Carasco, F. (1990). A first order logic for partial functions. Theoretical Computer Science, 74, 37\u201369.","journal-title":"Theoretical Computer Science"},{"key":"9420_CR26","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1007\/BF01178666","volume":"31","author":"CB Jones","year":"1994","unstructured":"Jones, C. B., & Middelburg, C. A. (1994). A typed logic of partial functions, reconstructed classically. Acta Informatica, 31, 399\u2013430.","journal-title":"Acta Informatica"},{"key":"9420_CR27","unstructured":"Komori, Y. (1975). Free algebras over all fields and pseudo-fields. Report 10, 9-15, Faculty of Science, Shizuoka University."},{"key":"9420_CR28","volume-title":"Hilbert\u2019s Tenth Problem","author":"YV Matiyasevich","year":"1993","unstructured":"Matiyasevich, Y. V. (1993). Hilbert\u2019s Tenth Problem. MIT Press."},{"key":"9420_CR29","doi-asserted-by":"crossref","unstructured":"Manin, Y. (1977). A Course in Mathematical Logic (2nd ed.). Springer, 2010.","DOI":"10.1007\/978-1-4757-4385-2"},{"key":"9420_CR30","doi-asserted-by":"publisher","unstructured":"McDonnel, E.E. (1976). Zero divided by zero. Proceedings APL 1976, ACM, pp. 295\u2013296. https:\/\/doi.org\/10.1145\/800114.803689.","DOI":"10.1145\/800114.803689"},{"key":"9420_CR31","doi-asserted-by":"publisher","unstructured":"Michiwaki, H., Saitoh, S., & Yamada, N. (2016). Reality of the division by zero $$z\/0 = 0$$. International Journal of Applied Physics and Mathematics.https:\/\/doi.org\/10.17706\/ijapm.2016.6.1.1-8","DOI":"10.17706\/ijapm.2016.6.1.1-8"},{"key":"9420_CR32","unstructured":"Morgan, J. (2024). Resourceaholic. Ideas and Resources for Teaching Secondary School Mathematics: Online Historical Maths Textbooks. https:\/\/www.resourceaholic.com\/p\/digitised-antique-maths-textbooks.html."},{"key":"9420_CR33","unstructured":"Nicaud, J-.F., Bouhineau, D., & Gelis, J-.M. (2001). Syntax and semantics in algebra. Proceedings 12th ICMI Study Conference, The University of Melbourne, 2001. HAL archives-ouvertes https:\/\/hal.archives-ouvertes.fr\/hal-00962023\/document."},{"issue":"2","key":"9420_CR34","doi-asserted-by":"publisher","first-page":"289","DOI":"10.2969\/jmsj\/03520289","volume":"35","author":"H Ono","year":"1983","unstructured":"Ono, H. (1983). Equational theories and universal theories of fields. Journal of the Mathematical Society of Japan, 35(2), 289\u2013306.","journal-title":"Journal of the Mathematical Society of Japan"},{"issue":"2","key":"9420_CR35","first-page":"44","volume":"7","author":"H Okumura","year":"2018","unstructured":"Okumura, H., & Saitoh, S. (2018). Applications of the division by zero calculus to Wasan geometry. Global Journal of Advanced Research on Classical and Modern Geometries, 7(2), 44\u201349.","journal-title":"Global Journal of Advanced Research on Classical and Modern Geometries"},{"issue":"1","key":"9420_CR36","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1080\/11663081.2018.1448637","volume":"28","author":"A Ponse","year":"2018","unstructured":"Ponse, A., & Staudt, D. J. C. (2018). An independent axiomatisation for free short-circuit logic. Journal of Applied Non-Classical Logics, 28(1), 35\u201371.","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"2","key":"9420_CR37","doi-asserted-by":"publisher","first-page":"354","DOI":"10.2307\/2274852","volume":"54","author":"A Robinson","year":"1989","unstructured":"Robinson, A. (1989). Equational logic of partial functions under Kleene equality: a complete and an incomplete set of rules. Journal of Symbolic Logic, 54(2), 354\u2013362.","journal-title":"Journal of Symbolic Logic"},{"key":"9420_CR38","volume-title":"Introduction to the Division by Zero Calculus","author":"S Saitoh","year":"2021","unstructured":"Saitoh, S. (2021). Introduction to the Division by Zero Calculus. Scientific Research Publishing Inc."},{"key":"9420_CR39","unstructured":"Setzer, A. (1997). Wheels (draft). http:\/\/www.cs.swan.ac.uk\/ csetzer\/articles\/wheel.pdf."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-024-09420-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-024-09420-w\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-024-09420-w.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,12,7]],"date-time":"2024-12-07T13:03:23Z","timestamp":1733576603000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-024-09420-w"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,7,13]]},"references-count":39,"journal-issue":{"issue":"4-5","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["9420"],"URL":"https:\/\/doi.org\/10.1007\/s10849-024-09420-w","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"type":"print","value":"0925-8531"},{"type":"electronic","value":"1572-9583"}],"subject":[],"published":{"date-parts":[[2024,7,13]]},"assertion":[{"value":"26 June 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 July 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}