On the Definition of 'Formal Deduction'.

Richard Montague Leon Henkin

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

Keyphrases

formal model
inference rules
operational semantics
real time
databases
search algorithm
database
data sets
neural network
computer vision
face recognition
formal analysis
mathematical theory
computer algebra
intuitionistic logic