Correction to: Some Restricted Lindenbaum Theorems Equivalent to the Axiom of Choice.

David W. Miller

Published in: Logica Universalis (2020)

Keyphrases

inference rules
modal logic
error correction
database
real time
data sets
machine learning
decision making
multimedia
database systems
multiscale
equivalence class