An Algebraic Approach to Canonical Formulas: intuitionistic Case.

Guram Bezhanishvili Nick Bezhanishvili

Published in: Rev. Symb. Log. (2009)

Keyphrases

decision trees
data mining
pattern recognition
databases
machine learning
information retrieval
multiscale
search algorithm
expert systems
fuzzy sets
logic programming
fuzzy set theory
linear logic