JUCS - Journal of Universal Computer Science 29(9): 961-987, doi: 10.3897/jucs.87563
Naive Fracterm Calculus
expand article infoJan Bergstra‡, John V. Tucker§
‡ University of Amsterdam, Amsterdam, Netherlands§ Swansea University, Swansea, Wales

Corresponding author: Jan Bergstra ( j.a.bergstra@uva.nl )

© Jan Bergstra, John V. Tucker.
This is an open access article distributed under the terms of the Creative Commons Attribution License (CC BY-ND 4.0). This license allows reusers to copy and distribute the material in any medium or format in unadapted form only, and only so long as attribution is given to the creator. The license allows for commercial use.
Citation: Bergstra J, Tucker JV (2023) Naive Fracterm Calculus. JUCS - Journal of Universal Computer Science 29(9): 961-987. https://doi.org/10.3897/jucs.87563
Open Access
Abstract
An outline is provided of a new perspective on elementary arithmetic, based on addition, multiplication, subtraction and division, which is informal and unique and may be considered naive when contrasted with a plurality of algebraic and logical, axiomatic formalisations of elementary arithmetic.
Keywords
elementary arithmetic, division by zero, fracterm calculus, common meadow, abstract data type