Combining Classical and Intuitionistic Implications.

Carlos Caleiro Jaime Ramos

Published in: FroCoS (2007)

Keyphrases

theorem prover
image processing
fuzzy set theory
linear logic
information retrieval
decision trees
combining multiple
classical logic
interval valued
fuzzy information