A Connection-based Characterization of Bi-intuitionistic Validity.

Didier Galmiche Daniel Méry

Published in: J. Autom. Reason. (2013)

Keyphrases

business intelligence
theorem prover
fuzzy set theory
real time
database systems
expert systems
fuzzy numbers
linear logic
data sets
data mining
machine learning
computer vision
logical framework
axiomatic characterization