chive.pub
Restricting resolutions: effect-driven semantics of numerical approximation
Approximators such as *approximately* or *exactly* have been analyzed either as operators that manipulate a numeral's denotation, or as devices that select a granularity level at which the numeral is