Linear Nested Sequents, 2-Sequents and Hypersequents

DOI10.1007/978-3-319-24312-2_10MaRDI QIDQ3455766zbMATH OpenOpenAlexFDO

Authors Björn Lellmann

Publication date 11 December 2015

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-24312-2_10

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Subsystems of classical logic (including intuitionistic logic) (03B20) Mechanization of proofs and logical operations (03B35)

Recommendations

• Nested sequents for intuitionistic logics
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• From 2-sequents and linear nested sequents to natural deduction for normal modal logics
• Grafting hypersequents onto nested sequents
• Interpolation for intermediate logics via hyper- and linear nested sequents
• scientific article; zbMATH DE number 2152687
• Proof theory for indexed nested sequents
• Proof nets sequentialisation in multiplicative linear logic
• On nested sequents for constructive modal logics
• scientific article; zbMATH DE number 2051680

Cites work

• scientific article; zbMATH DE number 1612549 (Why is no real title available?)
• scientific article; zbMATH DE number 956466 (Why is no real title available?)
• scientific article; zbMATH DE number 1497485 (Why is no real title available?)
• scientific article; zbMATH DE number 5263148 (Why is no real title available?)
• scientific article; zbMATH DE number 970633 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• 2-Sequent Calculus: Intuitionism and Natural Deduction
• 2-sequent calculus: A proof theory of modalities
• A cut-free simple sequent calculus for modal logic S5
• Axioms vs hypersequent rules with context restrictions: theory and applications
• Deep sequent systems for modal logic
• From Frame Properties to Hypersequent Rules in Modal Logics
• Gentzen calculi for modal propositional logic
• Hypersequent Calculus for Intuitionistic Logic with Classical Atoms
• Label-free modular systems for classical and intuitionistic modal logics
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• Modal logic
• Nested sequents for intuitionistic logics
• Non-Commutative First-Order Sequent Calculus
• Prefixed tableaus and nested sequents
• Proof analysis in modal logic
• Sequent Calculi for Normal Modal Propositional Logics
• The Method of Tree-Hypersequents for Modal Propositional Logic

Cited in

(21)

• A fresh view of linear logic as a logical framework
• Through an inference rule, darkly
• A linear logic framework for multimodal logics
• scientific article; zbMATH DE number 7561320 (Why is no real title available?)
• Nested sequents for intuitionistic logics
• Proof theory for functional modal logic
• A general proof certification framework for modal logic
• Grafting hypersequents onto nested sequents
• A hypersequent calculus with clusters for linear frames
• Modularisation of sequent calculi for normal and non-normal modalities
• Nested sequents or tree-hypersequents -- a survey
• Cut elimination theorem for non-commutative hypersequent calculus
• An ecumenical notion of entailment
• Natural deduction calculi for classical and intuitionistic S5
• Cut Elimination for Extended Sequent Calculi
• Labelled tree sequents, tree hypersequents and nested (deep) sequents
• Internal and external calculi: ordering the jungle without being lost in translations
• The principle of reflection via nested sequents
• CUT ELIMINATION IN HYPERSEQUENT CALCULUS FOR SOME LOGICS OF LINEAR TIME
• A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
• Cut-free completeness for modular hypersequent calculi for modal logics K, T, and D

This page was built for publication: Linear Nested Sequents, 2-Sequents and Hypersequents

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