Correspondences between Classical, Intuitionistic and Uniform Provability

Gopalan Nadathur

Published in: CoRR (1998)

Keyphrases

fuzzy set theory
pairwise
linear logic
point correspondences
classical methods
databases
geometric constraints
pattern recognition
control system
image features
fuzzy numbers
natural deduction