scientific article; zbMATH DE number 7084848

zbMath1418.03130MaRDI QIDQ5224582

Björn Lellmann, Roman Kuznets

Publication date: 24 July 2019

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

interpolationcut eliminationGödel logicintermediate logicshypersequentsLyndon interpolationlinear nested sequents

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Proof theory in general (including proof-theoretic semantics) (03F03) Intermediate logics (03B55)

Related Items (5)

Uniform interpolation via nested sequents ⋮ Nested sequents for intermediate logics: the case of Gödel-Dummett logics ⋮ Through an Inference Rule, Darkly ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D

This page was built for publication: