scientific article; zbMATH DE number 6302908

zbMath1296.03031MaRDI QIDQ5419884

Revantha Ramanayake, Rajeev Goré

Publication date: 11 June 2014

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

zbMATH Keywords

cut eliminationproof theoryprovability logicnotational variantslabelled sequentsnonstandard sequent calculitree hypersequents

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (12)

Nested sequents for intuitionistic modal logics via structural refinement ⋮ Linear Nested Sequents, 2-Sequents and Hypersequents ⋮ A pure view of ecumenical modalities ⋮ Disentangling structural connectives or life without display property ⋮ Through an Inference Rule, Darkly ⋮ Proofs and countermodels in non-classical logics ⋮ Hypersequent and display calculi -- a unified perspective ⋮ Unnamed Item ⋮ Multicomponent proof-theoretic method for proving interpolation properties ⋮ Inducing Syntactic Cut-Elimination for Indexed Nested Sequents ⋮ Proving Craig and Lyndon Interpolation Using Labelled Sequent Calculi ⋮ A general proof certification framework for modal logic

This page was built for publication: