No Cover Image

Journal article 466 views 59 downloads

Naive Fracterm Calculus

Jan A Bergstra Orcid Logo, John Tucker Orcid Logo

Journal of Universal Computer Science, Volume: 29, Issue: 9, Pages: 961 - 987

Swansea University Author: John Tucker Orcid Logo

  • 63956.VOR.pdf

    PDF | Version of Record

    Distributed under the terms of a Creative Commons Attribution-NoDerivatives 4.0 International License (CC BY-ND 4.0).

    Download (328.75KB)

Check full text

DOI (Published version): 10.3897/jucs.87563

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.

Published in: Journal of Universal Computer Science
ISSN: 0948-695X 0948-6968
Published: Institut für Informationssysteme und Computer Medien 2023
Online Access: Check full text

URI: https://cronfa.swan.ac.uk/Record/cronfa63956
Tags: Add Tag
No Tags, Be the first to tag this record!
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
College: Faculty of Science and Engineering
Issue: 9
Start Page: 961
End Page: 987