Logic in the Twenties: The Nature of the Quantifier.

Warren D. Goldfarb

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

Keyphrases

logic programming
modal logic
predicate logic
artificial intelligence
data sets
machine learning
probabilistic logic
delay insensitive
natural language
formal theory
abductive reasoning