Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gdel Logic.

Matthias Baaz, Anela Lolic

Browse the full LPAR paper archive.