1: \begin{abstract}

2: We develop a fixed-point extension of quantitative equational logic and give

3: semantics in one-bounded complete quantitative algebras.  Unlike previous related work

4: about fixed-points in metric spaces, we are working with the notion of

5: approximate equality rather than exact equality.  The result is a novel theory

6: of fixed points which can not only provide solutions to the traditional

7: fixed-point equations but we can also define the rate of convergence to the

8: fixed point.  We show that such a theory is the quantitative analogue of a

9: Conway theory and also of an iteration theory; and it reflects the metric coinduction principle.  We study the Bellman equation

10: for a Markov decision process as an illustrative example. 

11: \end{abstract}

12: