The Logic of Classes.

E. G. K. López-Escobar

Published in: Log. J. IGPL (2007)

Keyphrases

classical logic
data mining
genetic algorithm
automated reasoning
multi valued
finite model theory
databases
machine learning
set theory
deontic logic