Lyndon interpolation holds for the prenex prenex fragment of Gödel logic

DOI10.29007/BMLFzbMATH Open1416.03011OpenAlexW2908309001MaRDI QIDQ5222947FDOQ5222947

Authors: 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

Recommendations

• The Lyndon property and uniform interpolation over the Grzegorczyk logic
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Equality and lyndon's interpolation theorem
• scientific article; zbMATH DE number 3863170
• Lyndon's interpolation property for the logic of strict implication

zbMATH Keywords

interpolationSkolemizationLyndon interpolationGödel logicsHerbrand expansions

Mathematics Subject Classification ID

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

Cited In (1)

• Equality and lyndon's interpolation theorem

This page was built for publication: Lyndon interpolation holds for the prenex \(\supset\) prenex fragment of Gödel logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5222947)