scientific article; zbMATH DE number 7668098

MaRDI QIDQ5884946zbMATH OpenFDO

Authors Agata Ciabattoni, Lutz Straßburger, Matteo Tesi

Publication date 24 March 2023

zbMATH Keywords

bounded depth Kripke modelscut eliminationintermediate logicsnested sequents

Mathematics Subject Classification ID

Intermediate logics (03B55) Cut-elimination and normal-form theorems (03F05)

Recommendations

• Nested sequents for intuitionistic logics
• Grafting hypersequents onto nested sequents
• scientific article; zbMATH DE number 458994
• Proof search in nested sequent calculi
• Depth boundedness in multiset rewriting systems with name binding
• Deep induction: induction rules for (truly) nested types
• scientific article; zbMATH DE number 1863381
• Proving completeness for nested sequent calculi
• Proof theory for indexed nested sequents
• Nested sequent calculi for conditional logics

Cited in

(3)

• Focused and Synthetic Nested Sequents
• Grafting hypersequents onto nested sequents
• Nested sequents for intermediate logics: the case of Gödel-Dummett logics

This page was built for publication:

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