Frege Meets Brouwer (or Heyting or Dummett).

Stewart Shapiro Øystein Linnebo

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

Keyphrases

set theory
fixed point theorem
case based reasoning
partial order
real world
computer vision
pattern recognition
expert systems
fuzzy set theory
decision trees
optimal solution
data analysis
multiresolution
dynamic programming
knowledge discovery