Z Logic and its Consequences.

Martin C. Henson Steve Reeves Jonathan P. Bowen

Published in: Comput. Artif. Intell. (2003)

Keyphrases

modal logic
multi valued
automated reasoning
logic programming
computational properties
search engine
logic programs
logical framework
image sequences
search algorithm
inference rules
abductive reasoning
deontic logic
natural deduction
proof theory
sound and complete axiomatization