First-Order Interpolation of Non-classical Logics Derived from Propositional Interpolation.

Matthias Baaz Anela Lolic

Published in: FroCoS (2017)

Keyphrases

first order logic
linear interpolation
image interpolation
theorem proving
propositional logic
low pass filtering
knowledge base
higher order
programming language
horn clauses
interpolation method
interpolation methods
edge directed