An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles.

Yohji Akama Stefano Berardi Susumu Hayashi Ulrich Kohlenbach

Published in: LICS (2004)

Keyphrases

case study
decision making
special case
higher level
database
data sets
neural network
information retrieval
artificial intelligence
preprocessing
case based reasoning