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

Arnaud Carayol (1) , Zoltán Ésik (2)

1 LIGM - Laboratoire d'Informatique Gaspard-Monge
2 University of Szeged [Szeged]

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.

Mots clés: approximation fixed point theory; equational logic; iteration theories

Domaines: Informatique et langage [cs.CL]

Arnaud Carayol, Zoltán Ésik. An Analysis of the Equational Properties of the Well-Founded Fixed Point. KR 2016, Apr 2016, Capetown, South Africa. pp.533-536, ⟨10.1016/j.jlamp.2016.09.004⟩. ⟨hal-01806560⟩