Logical Reflection and Formalism.

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

Keyphrases

logical framework
formal model
logical language
knowledge representation
neural network
data structure
logical reasoning
logical operations
reflective learning
databases
machine learning
website
theoretical framework
inference rules
logical properties