Intuitionistic implication without disjunction.

Gerard R. Renardel de Lavalette Alex Hendriks Dick de Jongh

Published in: J. Log. Comput. (2012)

Keyphrases

fuzzy relations
linear logic
interval valued
fuzzy set theory
functional dependencies
fuzzy sets
classical logic
theorem prover
fuzzy information
fuzzy numbers
data sets
pattern recognition
information retrieval
relational databases
real valued
cut elimination