On Algorithmic Logic with Partial Operations.

Published in: Logic of Programs (1980)

Keyphrases

logical operations
automated reasoning
multi valued
databases
real time
logical framework
proof theory
data sets
artificial intelligence
decision trees
data structure
modal logic
classical logic
active rules