Interpolation method for multicomponent sequent calculi

DOI10.1007/978-3-319-27683-0_15zbMATH Open1476.03081OpenAlexW2295945753MaRDI QIDQ5283429FDOQ5283429

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

Recommendations

• Multicomponent proof-theoretic method for proving interpolation properties
• Interpolation for intermediate logics via hyper- and linear nested sequents
• Modal interpolation via nested sequents
• Craig interpolation via hypersequents
• Proving Craig and Lyndon interpolation using labelled sequent calculi

zbMATH Keywords

sequent calculiCraig interpolationhypersequent calculiLyndon interpolationnested sequent calculi

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

• Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi
• Through an Inference Rule, Darkly
• Uniform interpolation via nested sequents
• Multicomponent proof-theoretic method for proving interpolation properties
• Interpolation in practical formal development

This page was built for publication: Interpolation method for multicomponent sequent calculi

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