Cut Elimination for Extended Sequent Calculi

DOI10.18778/0138-0680.2023.22MaRDI QIDQ6200474zbMATH OpenFDO

Authors Simone Martini, Andrea Masini, Margherita Zorzi

Publication date 29 February 2024

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.18778/0138-0680.2023.22

zbMATH Keywords

2-sequentscut eliminationmodal logicproof theorysequent calculus

Mathematics Subject Classification ID

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

Cites work

• 2-sequent calculus: A proof theory of modalities
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• An analysis of (linear) exponentials based on extended sequents
• Constructing cut free sequent systems with context restrictions based on classical or intuitionistic logic
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D
• Cut-free modal sequents for normal modal logics
• Extending the Curry-Howard interpretation to linear, relevant and other resource logics
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 3559512 (Why is no real title available?)
• scientific article; zbMATH DE number 1749009 (Why is no real title available?)
• scientific article; zbMATH DE number 786493 (Why is no real title available?)
• scientific article; zbMATH DE number 970633 (Why is no real title available?)
• Hypersequent and display calculi -- a unified perspective
• Indexed systems of sequents and cut-elimination
• Labelled natural deduction for a bundled branching temporal logic
• Linear Nested Sequents, 2-Sequents and Hypersequents
• Modal Tree‐Sequents
• Modularisation of sequent calculi for normal and non-normal modalities
• Predicate logics on display
• Prefixed tableaus and nested sequents
• Proof methods for modal and intuitionistic logics
• Proof theory. 2nd ed
• Sequent Calculi for Normal Modal Propositional Logics
• Tableau methods of proof for modal logics

Cited in

(2)

• A natural deduction calculus for \textbf{S4.2}
• Twist sequent calculi for S4 and its neighbors

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

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