Iteration Theories of Boolean Functions

  • Zoltán Ésik
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1893)


A systematic study of the fixed point (or dagger) operation in Lawvere algebraic theories was initiated by Elgot and the ADJ group. Their work led to the introduction of iteration theories in 1980, which capture the equational properties of fixed points in the models proposed by Elgot and the ADJ group. The book [2] and the survey paper [3] provide ample evidence that the axioms of iteration theories have a general scope and constitute a complete description of the equational properties of the fixed point operation.


Boolean Function Monotonic Function Point Identity Complete Lattice Point Operation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    H. Bekić, Definable operations in general algebras, and the theory of automata and flowcharts, Technical Report, IBM Laboratory, Vienna, 1969.Google Scholar
  2. 2.
    S. L. Bloom and Z. Ésik, Iteration Theories: The Equational Logic of Iterative Processes, Springer, 1993.Google Scholar
  3. 3.
    S. L. Bloom and Z. Ésik, The equational logic of fixed points, Theoretical Computer Science, 179(1997), 1–60.zbMATHCrossRefMathSciNetGoogle Scholar
  4. 4.
    S. L. Bloom and Z. Ésik, There is no finite axiomatization of iteration theories, in: proc. LATIN 2000, LNCS 1776, Springer, 2000, 367–376.Google Scholar
  5. 5.
    J. W. de Bakker and D. Scott, A theory of programs. IBM, Vienna, 1969.Google Scholar
  6. 6.
    Z. Ésik, Group axioms for iteration, Information and Computation, 148(1999), 131–180.zbMATHCrossRefMathSciNetGoogle Scholar
  7. 7.
    D. Niwinski, Equational μ-calculus, Computation Theory, Zaborów, 1984, LNCS 208, Springer, 1985, 169–176.Google Scholar
  8. 8.
    E. L. Post, The Two-Valued Iterative Systems of Mathematical Logic, Princeton University Press, 1941.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2000

Authors and Affiliations

  • Zoltán Ésik
    • 1
  1. 1.Department of Computer ScienceUniversity of SzegedSzegedHungary

Personalised recommendations