Implementation and applications of Scott's logic for computable functions.

Published in: Proving Assertions About Programs (1972)

Keyphrases

databases
multi valued
implementation issues
real world
evolutionary algorithm
general purpose
logic programming
modal logic
automated reasoning
classical logic
deontic logic
finite sets
functional language