A Correction to Lewis and Langford's Symbolic Logic.

J. C. C. McKinsey

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

Keyphrases

predicate logic
classical logic
deontic logic
automated reasoning
symbolic description
error correction
modal logic
logic programming
artificial neural networks
website
multi valued
learning algorithm
defeasible logic
machine learning
formal theory
abductive reasoning
databases
connectionist models
data sets