⊃E is Admissible in "true" relevant arithmetic.

Robert K. Meyer

Published in: J. Philos. Log. (1998)

Keyphrases

image processing
closely related
computer vision
higher level
neural network
real world
search engine
web services
state space
finding relevant