The HOL Logic Extended with Quantification over Type Variables.

Thomas F. Melham

Published in: Formal Methods Syst. Des. (1993)

Keyphrases

natural deduction
higher order logic
derivation rules
modal logic
classical logic
data sets
decision trees
probabilistic model
logic programming
database
variable selection
input variables
multi valued
data mining
defeasible logic
neural network
databases