Failure of interpolation in relevant logics.

Alasdair Urquhart

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

Keyphrases

expressive power
real world
closely related
neural network
learning algorithm
expert systems
image interpolation
machine learning
knowledge base
relevance feedback
edge detection
nonmonotonic logics
proof theory
failure detection
failure prediction