A System of Logic for Partial Functions Under Existence-Dependent Kleene Equality.

Hajnal Andréka William Craig István Németi

Published in: J. Symb. Log. (1988)

Keyphrases

multi valued
propositional logic
neural network
learning algorithm
automated reasoning
classical logic
database
logic programming
computational properties
digital circuits
complementarity problems
data sets
defeasible logic