A Complete Finite Axiomatisation of the Equational Theory of Common Meadows

Jan A Bergstra, John V Tucker

We analyse abstract data types that model numerical structures with a concept of error. Specifically, we focus on arithmetic data types that contain an error value $\perp$ whose mai…