A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2004; you can also visit the original URL.
The file type is
BRICS Report Series
<p>The (in)equational properties of the least fixed point operation on<br />(omega-)continuous functions on (omega-)complete partially ordered sets are<br />captured by the axioms of (ordered) iteration algebras, or iteration<br />theories. We show that the inequational laws of the sum operation in<br />conjunction with the least fixed point operation in continuous additive<br />algebras have a finite axiomatization over the inequations of ordered<br />iteration algebras. As a byproduct of thisdoi:10.7146/brics.v7i25.20153 fatcat:x24emoenbzfkrla2g2rzpfsnzu