Axiomatizations of floating point arithmetics
Włodzimierz Zadrożny · 1985
We present a universal scheme for axiomatizing floating point ariththmetic. The schema can be used to axiomatize any floating point arithmetic. It consists of a labeled graph with vertices describing some arithmetical properties and edges containing appropriate axioms. The language of floating point arithmetic is developed gradually in this scheme. The scheme can provide a vehicle for studying and implementing various versions of floating point arithmetic.