Cut Elimination for Extended Sequent Calculi

DOI10.18778/0138-0680.2023.22MaRDI QIDQ6200474

Simone Martini, Margherita Zorzi, Andrea Masini

Publication date: 29 February 2024

Published in: Bulletin of the Section of Logic (Search for Journal in Brave)

zbMATH Keywords

modal logiccut eliminationsequent calculusproof theory2-sequents

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Abstract deductive systems (03B22)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Prefixed tableaus and nested sequents
• Proof methods for modal and intuitionistic logics
• Proof theory. 2nd ed
• 2-sequent calculus: A proof theory of modalities
• Predicate logics on display
• Cut-free modal sequents for normal modal logics
• Indexed systems of sequents and cut-elimination
• Hypersequent and display calculi -- a unified perspective
• Tableau methods of proof for modal logics
• Constructing Cut Free Sequent Systems with Context Restrictions Based on Classical or Intuitionistic Logic
• Labelled natural deduction for a bundled branching temporal logic
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• An analysis of (linear) exponentials based on extended sequents
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• Sequent Calculi for Normal Modal Propositional Logics
• Modularisation of Sequent Calculi for Normal and Non-normal Modalities
• Modal Tree‐Sequents
• CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D
• From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics

This page was built for publication: Cut Elimination for Extended Sequent Calculi