Lawrence S. Moss - Simple Equational Specifications of Rational Arithmetic

dmtcs:280 - Discrete Mathematics & Theoretical Computer Science, January 1, 2001, Vol. 4 no. 2 - https://doi.org/10.46298/dmtcs.280
Simple Equational Specifications of Rational ArithmeticArticle

Authors: Lawrence S. Moss 1

  • 1 Department of mathematics [Bloomington]

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.

https://doi.org/10.46298/dmtcs.280
Source: HAL:hal-00958963v1
Volume: Vol. 4 no. 2
Published on: January 1, 2001
Imported on: March 26, 2015
Keywords: equational specification,hidden function symbols,rational numbers,[INFO.INFO-DM] Computer Science [cs]/Discrete Mathematics [cs.DM]

2 Documents citing this article

Share and export

Consultation statistics

This page has been seen 352 times.
This article's PDF has been downloaded 272 times.