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

DOI10.29007/bmlfzbMath1416.03011OpenAlexW2908309001MaRDI QIDQ5222947

Matthias Baaz, Anela Lolic

Publication date: 4 July 2019

Published in: EPiC Series in Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.29007/bmlf

zbMATH Keywords

interpolationSkolemizationGödel logicsLyndon interpolationHerbrand expansions

Mathematics Subject Classification ID

Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

This page was built for publication: Lyndon Interpolation holds for the Prenex ⊃ Prenex Fragment of Gödel Logic