A Generalization of Lindenbaum's Theorem for Predicate Calculi.

Published in: Math. Log. Q. (1984)

Keyphrases

databases
first order logic
machine learning
database systems
digital topology
fuzzy logic
rough sets
efficient learning
von neumann