Correspondences between classical, intuitionistic and uniform provability.

Gopalan Nadathur

Published in: Theor. Comput. Sci. (2000)

Keyphrases

real time
point correspondences
fuzzy set theory
data sets
information retrieval
expert systems
pairwise
theorem prover
fuzzy numbers
classical methods
interval valued
fuzzy information
linear logic
correspondence matching
similarity measure
image features