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

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...