Formal Topologies on The Set of First-Order Formulae.

Thierry Coquand Sara Sadocco Giovanni Sambin Jan M. Smith

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

Keyphrases

small number
first order logic
horn clauses
initial set
data sets
databases
decision trees
feature set
formal model