Simplified Axioms for Many-Valued Quantification Theory.

Atwell R. Turquette

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

Keyphrases

theoretical basis
knowledge base
computer vision
theoretical framework
data sets
decision trees
set theory
databases
neural network
data mining
first order logic
information theory
quantitative evaluation
decision theory
formal theory