Logifun 05 - pre/post-fixed points, monotonicity, continuity, CPOs & the Tarski Fixed Point Theorem

We develop the basic math framework which will provide the theory needed to define the semantics of a logic program.