The Metatheory of the Classical Propositional Calculus is not Axiomatizable.

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

Keyphrases

propositional calculus
cooperative
real time
information systems
feature selection
classical methods
data sets
databases
machine learning
genetic algorithm
computer vision
high level
database systems
relational databases