Linear Nested Sequents, 2-Sequents and Hypersequents
From MaRDI portal
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)