The Degree of the Set of Sentences of Predicate Provability Logic that are True Under Every Interpretation.

George Boolos Vann McGee

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

Keyphrases

small number
neural network
information systems
case study
logic programming
database
similarity measure
training data
natural language
logical framework