Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic.

Matthias Baaz Anela Lolic

Published in: LPAR (2018)

Keyphrases

normal form
multi valued
functional dependencies
database design
image interpolation
relational databases
modal logic
piecewise polynomial
search engine
case study
logic programming
integrity constraints
automated reasoning