Power and limits of structural display rules
From MaRDI portal
Subsystems of classical logic (including intuitionistic logic) (03B20) Temporal logic (03B44) Modal logic (including the logic of norms) (03B45) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof theory in general (including proof-theoretic semantics) (03F03) Cut-elimination and normal-form theorems (03F05)
Recommendations
- Structural extensions of display calculi: a general recipe
- scientific article; zbMATH DE number 970628
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Disentangling structural connectives or life without display property
- scientific article; zbMATH DE number 970627
Cites work
- A constructive analysis of RM
- A note on the substructural hierarchy
- A system of interaction and structure
- Algebraic proof theory for substructural logics: cut-elimination and completions
- Algorithmic correspondence and canonicity for distributive modal logic
- Axioms vs hypersequent rules with context restrictions: theory and applications
- Bunched logics displayed
- Cancellative residuated lattices
- Constructive canonicity in non-classical logics
- Constructive negation, implication, and co-implication
- Correspondence between modal Hilbert axioms and sequent rules with an application to S5
- Cut-free sequent calculi for some tense logics
- Deep sequent systems for modal logic
- Display logic
- Displaying and deciding substructural logics. I: Logics with contraposition
- Displaying modal logic
- Embedding the hypersequent calculus in the display calculus
- Expanding the Realm of Systematic Proof Theory
- From Frame Properties to Hypersequent Rules in Modal Logics
- Gaggles, Gentzen and Galois: how to display your favourite substructural logic
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 1406803 (Why is no real title available?)
- scientific article; zbMATH DE number 970628 (Why is no real title available?)
- Hypersequent and display calculi -- a unified perspective
- Label-free modular systems for classical and intuitionistic modal logics
- Logic Programming with Focusing Proofs in Linear Logic
- Modal logic
- On logics with coimplication
- On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
- Proof analysis in modal logic
- Proof methods for modal and intuitionistic logics
- Structural extensions of display calculi: a general recipe
- Substructural logics on display
- Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
Cited in
(15)- Semi De Morgan logic properly displayed
- Bilattice logic properly displayed
- Disentangling structural connectives or life without display property
- Intermediate logics admitting a structural hypersequent calculus
- Logicality, double-line rules, and modalities
- Structural extensions of display calculi: a general recipe
- Sequent Calculi for Normal Modal Propositional Logics
- THE LOGIC OF RESOURCES AND CAPABILITIES
- Syntactic Completeness of Proper Display Calculi
- scientific article; zbMATH DE number 970628 (Why is no real title available?)
- Linear Logic Properly Displayed
- Algebraic proof theory for LE-logics
- Internal and external calculi: ordering the jungle without being lost in translations
- Substructural negations as normal modal operators
- Algebraic proof theory: hypersequents and hypercompletions
This page was built for publication: Power and limits of structural display rules
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5277918)
