An Interpolation Lemma for the Pure Implicational Calculus.

Published in: J. Symb. Log. (1975)

Keyphrases

johnson lindenstrauss
image interpolation
linear interpolation
interpolation methods
algebraic structure
surface interpolation
case study
data model
image registration
sequent calculus
edge directed
displacement estimation