A Connection-Based Characterization of Bi-intuitionistic Validity.

Didier Galmiche Daniel Méry

Published in: CADE (2011)

Keyphrases

business intelligence
fuzzy set theory
linear logic
fuzzy numbers
database
theorem prover
fuzzy logic
data sets
artificial intelligence
image segmentation
database systems
expert systems
knowledge discovery
interval valued
fuzzy information