Interpolation for Natural Deduction with Generalized Eliminations.

Published in: Proof Theory in Computer Science (2001)

Keyphrases

natural deduction
theorem prover
inference rules
intuitionistic logic
theorem proving
cut elimination
data sets
neural network
image interpolation
sequent calculus
relational databases
knowledge representation
motion estimation
first order logic
linear time temporal logic