Relevant implication and the case for a weaker logic.

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

Keyphrases

higher level
neural network
real world
automated reasoning
search engine
social networks
logic programming
multi valued
logical framework
digital circuits