The equational logic of fixed points

The equational properties of fixed-point solutions include the complete axiomatization of the valid fixed-point identities, namely the axioms for iterative theorems. Knowledge of these identities is useful in deriving properties of fixed points. The fixed-point calculus that consists of the axioms f...

Full description

Saved in:
Bibliographic Details
Published in:Theoretical computer science 1997-06, Vol.179 (1), p.1-60
Main Authors: Bloom, Stephen L., Ésik, Zoltán
Format: Article
Language:English
Citations: Items that this one cites
Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary:The equational properties of fixed-point solutions include the complete axiomatization of the valid fixed-point identities, namely the axioms for iterative theorems. Knowledge of these identities is useful in deriving properties of fixed points. The fixed-point calculus that consists of the axioms for fixed points and standard equational logic helps as a standard toolkit for theoreticians. Different models of fixed points, alternative sets of axioms, and proof of theorems based on fixed points are discussed.
ISSN:0304-3975
1879-2294
DOI:10.1016/S0304-3975(96)00248-4