A Mechanization of Strong Kleene Logic for Partial Functions.

Manfred Kerber Michael Kohlhase

Published in: CADE (1994)

Keyphrases

multi valued
propositional logic
machine intelligence
automated reasoning
classical logic
digital circuits
machine learning
search engine
image processing
case study
logic programming
predicate logic
abductive reasoning
epistemic logic
asynchronous circuits
delay insensitive