Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, EpiSciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Journal articles

Simple Equational Specifications of Rational Arithmetic

Abstract : We exhibit an initial specification of the rational numbers equipped with addition, subtraction, multiplication, greatest integer function, and absolute value. Our specification uses only the sort of rational numbers. It uses one hidden function; that function is unary. But it does not use an error constant, or extra (hidden) sorts, or conditional equations. All of our work is elementary and self-contained.
Document type :
Journal articles
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-00958963
Contributor : Service Ist Inria Sophia Antipolis-Méditerranée / I3s Connect in order to contact the contributor
Submitted on : Thursday, March 13, 2014 - 4:53:46 PM
Last modification on : Thursday, August 1, 2019 - 3:18:19 PM
Long-term archiving on: : Friday, June 13, 2014 - 12:05:13 PM

File

dm040216.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

Lawrence S. Moss. Simple Equational Specifications of Rational Arithmetic. Discrete Mathematics and Theoretical Computer Science, DMTCS, 2001, Vol. 4 no. 2 (2), pp.291-300. ⟨10.46298/dmtcs.280⟩. ⟨hal-00958963⟩

Share

Metrics

Record views

30

Files downloads

680