Power Domains and Second Order Predicates

Reinhold Heckmann


Lower, upper, sandwich, mixed, and convex power domains are isomorphic to domains of second order predicates mapping predicates on the ground domain to logical values in a semiring. The various power domains differ in the nature of the underlying semiring logic and in logical constraints on the second order predicates.

[Paper.ps.gz (28p, 92k, reformatted)]

Reinhold Heckmann / heckmann@absint.com