A generalization of a conservativity theorem for classical versus intuitionistic arithmetic.

Stefano Berardi

Published in: Math. Log. Q. (2004)

Keyphrases

data mining
fuzzy set theory
artificial intelligence
floating point
arithmetic operations
feature selection
decision trees
case study
multi agent
rough sets
theorem prover
fuzzy numbers
linear logic