Uniform interpolation via nested sequents and hypersequents.

Iris van der Giessen Raheleh Jalali Roman Kuznets

Published in: CoRR (2021)

Keyphrases

linear logic
sequent calculus
linear interpolation
image interpolation
interpolation method
interpolation algorithm
database
machine learning
probabilistic model
general purpose
fixed point
cubic spline
natural deduction
low pass filtering