Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice.

David W. Miller

Published in: Logica Universalis (2007)

Keyphrases

modal logic
real time
inference rules
databases
neural network
decision trees
image segmentation
face recognition
high quality
multiscale
multiresolution