How Connected Is the Intuitionistic Continuum?

Published in: J. Symb. Log. (1997)

Keyphrases

linear logic
theorem prover
fuzzy set theory
databases
connected components
fuzzy numbers
interval valued
database
machine learning
pattern recognition
classical logic