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

DOI10.29007/BMLFMaRDI QIDQ5222947zbMATHOpenAlexFDO

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

zbMATH Keywords

interpolationSkolemizationLyndon interpolationGödel logicsHerbrand expansions

Mathematics Subject Classification ID

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

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

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)