On elimination of quantifiers in some non-classical mathematical theories.

Guillermo Badia Andrew Tedder

Published in: Math. Log. Q. (2018)

Keyphrases

information systems
mathematical models
data sets
databases
first order logic
probability theory
quantum mechanics
machine learning
image processing
decision trees
case study
database systems
natural language
decision theory
defeasible logic
mathematical theory