An Intuitionistic Version of Cantor's Theorem.

Dario Maguolo Silvio Valentini

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

Keyphrases

linear logic
fuzzy set theory
intuitionistic logic
nonlinear dynamical systems
von neumann
classical logic
database
machine learning
hidden markov models
fuzzy numbers
theorem prover
expert systems
three dimensional
decision trees
information systems
information retrieval
data mining