Intuitionistic vs. Classical Tautologies, Quantitative Comparison.

Antoine Genitrini Jakub Kozik Marek Zaionc

Published in: TYPES (2007)

Keyphrases

real time
machine learning
digital libraries
theorem prover
linear logic
artificial intelligence
objective function
probabilistic model
qualitative and quantitative
quantitative evaluation
fuzzy set theory
fuzzy information