The properties of negation and zero in ringoids as defined by Kulisch

Abstract (2016)

Authors

R.R.P. van Nooijen Water Resources - CEG
A.G. Kolechkina Water Resources - CEG
Research Group
Water Resources (CEG) (TU Delft)
Copyright: © 2016 R.R.P. van Nooijen, A.G. Kolechkina
Algebra Computer arithmetic Ringoid
More Info
expand_more

Published Date

2016

Language

English

Reuse Rights

Other than for strictly personal use, it is not permitted to download, forward or distribute the text or part of it, without the consent of the author(s) and/or copyright holder(s), unless the work is under an open content license such as Creative Commons.

Faculty

Civil Engineering & Geosciences

Department

Water Management

Research Group

Water Resources

Abstract

In [1,2] Kulisch defines (ordered) ringoids and vectoids to provide a theoretical basis for computer arithmetic and interval arithmetic. One interesting aspect of his treatment is the search for necessary and sufficient conditions for a meaningful notion of negation and zero. In this paper we consider this both from the point of view of functions on the underlying set and from a category theoretical standpoint. It turns out that the conditions provided by Kulisch can be restated in other forms, but that the original form is probably both necessary and sufficient for the intended purpose.

Files

Scan2016_rvn.pdf
(.pdf | 0.142 Mb)