Fragments of the Propositional Calculus.

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

Keyphrases

propositional calculus
horizontal fragmentation
data mining
machine learning
artificial intelligence
search engine
e learning
data streams
special case
nonmonotonic reasoning
mazurkiewicz traces