Ramsey Theorem for Pairs As a Classical Principle in Intuitionistic Arithmetic.

Stefano Berardi Silvia Steila

Published in: TYPES (2013)

Keyphrases

pairwise
fuzzy set theory
database
information retrieval
artificial intelligence
database systems
theorem prover
interval valued
linear logic
data sets
expert systems
classical logic