Algebraic proof theory: hypersequents and hypercompletions (Q730091): 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 @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Algebraic aspects of cut elimination
@@ Property / cites work: Algebraic aspects of cut elimination / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4652057
@@ Property / cites work: Q4652057 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Proofs and Step Frames
@@ Property / cites work: Bounded Proofs and Step Frames / rank @@
+Normal rank
@@ Property / cites work @@
+The bounded proof property via step algebras and step frames
+Normal rank
@@ Property / cites work @@
+THE STRUCTURE OF RESIDUATED LATTICES
@@ Property / cites work: THE STRUCTURE OF RESIDUATED LATTICES / rank @@
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+MacNeille completions of FL-algebras
@@ Property / cites work: MacNeille completions of FL-algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Power and Limits of Structural Display Rules
@@ Property / cites work: Power and Limits of Structural Display Rules / rank @@
+Normal rank
@@ Property / cites work @@
+Towards a semantic characterization of cut-elimination
+Normal rank
@@ Property / cites work @@
+The proof by cases property and its variants in structural consequence relations
+Normal rank
@@ Property / cites work @@
+Algorithmic correspondence and canonicity for distributive modal logic
+Normal rank
@@ Property / cites work @@
+Equational bases for joins of residuated-lattice varieties
+Normal rank
@@ Property / cites work @@
+Residuated frames with applications to decidability
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+Normal rank
@@ Property / cites work @@
+Q3535661
@@ Property / cites work: Q3535661 / 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 @@
+Q5693612
@@ Property / cites work: Q5693612 / rank @@
+Normal rank
@@ Property / cites work @@
+Completions of GBL-algebras: negative results
@@ Property / cites work: Completions of GBL-algebras: negative results / 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 @@
+A unified semantic framework for fully structural propositional sequent systems
+Normal rank
@@ Property / cites work @@
+Substructural fuzzy logics
@@ Property / cites work: Substructural fuzzy logics / rank @@
+Normal rank
@@ Property / cites work @@
+Phase semantic cut-elimination and normalization proofs of first- and higher-order linear logic
+Normal rank
@@ Property / cites work @@
+Q4940727
@@ Property / cites work: Q4940727 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4250069
@@ Property / cites work: Q4250069 / rank @@
+Normal rank
@@ Property / cites work @@
+Zur Kennzeichnung der Dedekind-MacNeilleschen Hülle einer geordneten Menge
+Normal rank
@@ Property / cites work @@
+MacNeille completions of lattice expansions
@@ Property / cites work: MacNeille completions of lattice expansions / rank @@
+Normal rank