Interpolation for intermediate logics via hyper- and linear nested sequents
From MaRDI portal
Recommendations
Cited in
(21)- Cut elimination, identity elimination, and interpolation in super-Belnap logics
- Interpolation methods for Dunn logics and their extensions
- Multicomponent proof-theoretic method for proving interpolation properties
- Interpolation properties for Sacchetti's logics
- Uniform interpolation via nested sequents
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus
- Proving Craig and Lyndon interpolation using labelled sequent calculi
- Craig interpolation for semilinear substructural logics
- Through an inference rule, darkly
- Interpolation for intermediate logics via injective nested sequents
- Linear Nested Sequents, 2-Sequents and Hypersequents
- Modal interpolation via nested sequents
- Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
- Craig interpolation via hypersequents
- Lyndon interpolation holds for the prenex \(\supset\) prenex fragment of Gödel logic
- Interpolation method for multicomponent sequent calculi
- Nested sequents for intermediate logics: the case of Gödel-Dummett logics
- Extensions of \textsf{K5}: proof theory and uniform Lyndon interpolation
- Internal and external calculi: ordering the jungle without being lost in translations
- Uniform interpolation via nested sequents and hypersequents
- Unifying sequent systems for Gödel-Löb provability logic via syntactic transformations
This page was built for publication: Interpolation for intermediate logics via hyper- and linear nested sequents
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224582)
