Interpolation for intermediate logics via injective nested sequents

DOI10.1093/LOGCOM/EXAB015MaRDI QIDQ3382808zbMATH OpenOpenAlexWikidataFDO

Authors Roman Kuznets, Björn Lellmann

Publication date 22 September 2021

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exab015

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Interpolation for intermediate logics via hyper- and linear nested sequents
• Modal interpolation via nested sequents
• Interpolation method for multicomponent sequent calculi
• Computing interpolants in implicational logics
• Uniform interpolation via nested sequents

Cited in

(3)

• Uniform interpolation via nested sequents
• Uniform interpolation and the existence of sequent calculi
• Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation

This page was built for publication: Interpolation for intermediate logics via injective nested sequents

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