Strong Analogues of Martin's Axiom Imply Axiom R.

Robert E. Beaudoin

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

Keyphrases

inference rules
modal logic
information retrieval
image processing
decision trees
feature extraction
case based reasoning