Interpolation Method for Multicomponent Sequent Calculi

DOI10.1007/978-3-319-27683-0_15zbMath1476.03081OpenAlexW2295945753MaRDI QIDQ5283429

Roman Kuznets

Publication date: 21 July 2017

Published in: Logical Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-27683-0_15

zbMATH Keywords

Craig interpolationsequent calculihypersequent calculiLyndon interpolationnested sequent calculi

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03)

Related Items (3)

Through an Inference Rule, Darkly ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi

Cites Work

• Modal interpolation via nested sequents
• Proof methods for modal and intuitionistic logics
• Absence of the interpolation property in the consistent normal modal extensions of the Dummett logic
• Nested sequents for intuitionistic logics
• Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
• Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
• From Frame Properties to Hypersequent Rules in Modal Logics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Interpolation Method for Multicomponent Sequent Calculi