The Independence of Quine's Axioms 200 and 201.

J. Barkley Rosser

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

Keyphrases

axiomatic characterization
knowledge base
conditional independence
first order logic
real time
data sets
databases
neural network
data mining
dependence structure