No Cover Image

Journal article 335 views 46 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!
first_indexed 2023-07-26T16:37:04Z
last_indexed 2023-07-26T16:37:04Z
id cronfa63956
recordtype SURis
fullrecord <?xml version="1.0" encoding="utf-8"?><rfc1807 xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:xsd="http://www.w3.org/2001/XMLSchema"><bib-version>v2</bib-version><id>63956</id><entry>2023-07-26</entry><title>Naive Fracterm Calculus</title><swanseaauthors><author><sid>431b3060563ed44cc68c7056ece2f85e</sid><ORCID>0000-0003-4689-8760</ORCID><firstname>John</firstname><surname>Tucker</surname><name>John Tucker</name><active>true</active><ethesisStudent>false</ethesisStudent></author></swanseaauthors><date>2023-07-26</date><deptcode>SCS</deptcode><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.</abstract><type>Journal Article</type><journal>Journal of Universal Computer Science</journal><volume>29</volume><journalNumber>9</journalNumber><paginationStart>961</paginationStart><paginationEnd>987</paginationEnd><publisher>Institut für Informationssysteme und Computer Medien</publisher><placeOfPublication/><isbnPrint/><isbnElectronic/><issnPrint>0948-695X</issnPrint><issnElectronic>0948-6968</issnElectronic><keywords>Elementary arithmetic, division by zero, fracterm calculus, common meadow, abstract data type</keywords><publishedDay>28</publishedDay><publishedMonth>9</publishedMonth><publishedYear>2023</publishedYear><publishedDate>2023-09-28</publishedDate><doi>10.3897/jucs.87563</doi><url>https://doi.org/10.3897/jucs.87563</url><notes/><college>COLLEGE NANME</college><department>Computer Science</department><CollegeCode>COLLEGE CODE</CollegeCode><DepartmentCode>SCS</DepartmentCode><institution>Swansea University</institution><apcterm>Not Required</apcterm><funders/><projectreference/><lastEdited>2023-10-26T11:42:58.6354946</lastEdited><Created>2023-07-26T17:22:51.6737195</Created><path><level id="1">Faculty of Science and Engineering</level><level id="2">School of Mathematics and Computer Science - Computer Science</level></path><authors><author><firstname>Jan A</firstname><surname>Bergstra</surname><orcid>0000-0003-2942-506X</orcid><order>1</order></author><author><firstname>John</firstname><surname>Tucker</surname><orcid>0000-0003-4689-8760</orcid><order>2</order></author></authors><documents><document><filename>63956__28878__81de5112c20442b1b24bc831c67c998a.pdf</filename><originalFilename>63956.VOR.pdf</originalFilename><uploaded>2023-10-26T11:40:35.3460923</uploaded><type>Output</type><contentLength>336643</contentLength><contentType>application/pdf</contentType><version>Version of Record</version><cronfaStatus>true</cronfaStatus><documentNotes>Distributed under the terms of a Creative Commons Attribution-NoDerivatives 4.0 International License (CC BY-ND 4.0).</documentNotes><copyrightCorrect>true</copyrightCorrect><language>eng</language><licence>https://creativecommons.org/licenses/by-nd/4.0/</licence></document></documents><OutputDurs/></rfc1807>
spelling v2 63956 2023-07-26 Naive Fracterm Calculus 431b3060563ed44cc68c7056ece2f85e 0000-0003-4689-8760 John Tucker John Tucker true false 2023-07-26 SCS 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. Journal Article Journal of Universal Computer Science 29 9 961 987 Institut für Informationssysteme und Computer Medien 0948-695X 0948-6968 Elementary arithmetic, division by zero, fracterm calculus, common meadow, abstract data type 28 9 2023 2023-09-28 10.3897/jucs.87563 https://doi.org/10.3897/jucs.87563 COLLEGE NANME Computer Science COLLEGE CODE SCS Swansea University Not Required 2023-10-26T11:42:58.6354946 2023-07-26T17:22:51.6737195 Faculty of Science and Engineering School of Mathematics and Computer Science - Computer Science Jan A Bergstra 0000-0003-2942-506X 1 John Tucker 0000-0003-4689-8760 2 63956__28878__81de5112c20442b1b24bc831c67c998a.pdf 63956.VOR.pdf 2023-10-26T11:40:35.3460923 Output 336643 application/pdf Version of Record true Distributed under the terms of a Creative Commons Attribution-NoDerivatives 4.0 International License (CC BY-ND 4.0). true eng https://creativecommons.org/licenses/by-nd/4.0/
title Naive Fracterm Calculus
spellingShingle Naive Fracterm Calculus
John Tucker
title_short Naive Fracterm Calculus
title_full Naive Fracterm Calculus
title_fullStr Naive Fracterm Calculus
title_full_unstemmed Naive Fracterm Calculus
title_sort Naive Fracterm Calculus
author_id_str_mv 431b3060563ed44cc68c7056ece2f85e
author_id_fullname_str_mv 431b3060563ed44cc68c7056ece2f85e_***_John Tucker
author John Tucker
author2 Jan A Bergstra
John Tucker
format Journal article
container_title Journal of Universal Computer Science
container_volume 29
container_issue 9
container_start_page 961
publishDate 2023
institution Swansea University
issn 0948-695X
0948-6968
doi_str_mv 10.3897/jucs.87563
publisher Institut für Informationssysteme und Computer Medien
college_str Faculty of Science and Engineering
hierarchytype
hierarchy_top_id facultyofscienceandengineering
hierarchy_top_title Faculty of Science and Engineering
hierarchy_parent_id facultyofscienceandengineering
hierarchy_parent_title Faculty of Science and Engineering
department_str School of Mathematics and Computer Science - Computer Science{{{_:::_}}}Faculty of Science and Engineering{{{_:::_}}}School of Mathematics and Computer Science - Computer Science
url https://doi.org/10.3897/jucs.87563
document_store_str 1
active_str 0
description 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_date 2023-09-28T11:42:58Z
_version_ 1780814423961632768
score 11.017731

Similar Items