Embedding Constructive K into Intuitionistic K.

Published in: Electron. Notes Theor. Comput. Sci. (2010)

Keyphrases

linear logic
vector space
theorem prover
fuzzy numbers
interval valued
fuzzy set theory
nonlinear dimensionality reduction
classical logic
robust image watermarking
fuzzy information
fuzzy relations
real valued
database
data hiding
graph embedding
pattern recognition
manifold embedding
data mining