An Analysis of the Equational Properties of the Well-Founded Fixed Point

Arnaud Carayol; Zoltan Esik

AAAI Publications, Fifteenth International Conference on the Principles of Knowledge Representation and Reasoning

Arnaud Carayol, Zoltan Esik

Last modified: 2016-03-30

Abstract

We study the logical properties of the (parametric) well-founded fixed point operation. We show that the operation satisfies several, but not all of the equational properties of fixed point operations described by the axioms of iteration theories.

Keywords

approximation fixed point theory; equational logic; iteration theories

Full Text: PDF