Power and Limits of Structural Display Rules (Q5277918): Difference between revisions

@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+A constructive analysis of <b>RM</b>
@@ Property / cites work: A constructive analysis of <b>RM</b> / rank @@
+Normal rank
@@ Property / cites work @@
+Cancellative residuated lattices
@@ Property / cites work: Cancellative residuated lattices / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Bunched logics displayed
@@ Property / cites work: Bunched logics displayed / rank @@
+Normal rank
@@ Property / cites work @@
+Q3509048
@@ Property / cites work: Q3509048 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Structural Extensions of Display Calculi: A General Recipe
+Normal rank
@@ Property / cites work @@
+Hypersequent and display calculi -- a unified perspective
+Normal rank
@@ Property / cites work @@
+Expanding the Realm of Systematic Proof Theory
@@ Property / cites work: Expanding the Realm of Systematic Proof Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Theoremhood-preserving Maps Characterizing Cut Elimination for Modal Provability Logics
+Normal rank
@@ Property / cites work @@
+Proof methods for modal and intuitionistic logics
@@ Property / cites work: Proof methods for modal and intuitionistic logics / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive canonicity in non-classical logics
@@ Property / cites work: Constructive canonicity in non-classical logics / rank @@
+Normal rank
@@ Property / cites work @@
+Gaggles, Gentzen and Galois: how to display your favourite substructural logic
+Normal rank
@@ Property / cites work @@
+Substructural logics on display
@@ Property / cites work: Substructural logics on display / rank @@
+Normal rank
@@ Property / cites work @@
+On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4698331
@@ Property / cites work: Q4698331 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on the substructural hierarchy
@@ Property / cites work: A note on the substructural hierarchy / rank @@
+Normal rank
@@ Property / cites work @@
+Cut-free sequent calculi for some tense logics
@@ Property / cites work: Cut-free sequent calculi for some tense logics / rank @@
+Normal rank
@@ Property / cites work @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+From Frame Properties to Hypersequent Rules in Modal Logics
+Normal rank
@@ Property / cites work @@
+Q4940719
@@ Property / cites work: Q4940719 / rank @@
+Normal rank
@@ Property / cites work @@
+Axioms vs Hypersequent Rules with Context Restrictions: Theory and Applications
+Normal rank
@@ Property / cites work @@
+Correspondence between Modal Hilbert Axioms and Sequent Rules with an Application to S5
+Normal rank
@@ Property / cites work @@
+Q4636304
@@ Property / cites work: Q4636304 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding the hypersequent calculus in the display calculus
+Normal rank
@@ Property / cites work @@
+Displaying and deciding substructural logics. I: Logics with contraposition
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive negation, implication, and co-implication
+Normal rank
@@ Property / cites work @@
+On logics with coimplication
@@ Property / cites work: On logics with coimplication / rank @@
+Normal rank