Craig Interpolation in Displayable Logics (Q3010362): Difference between revisions

@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display logic / rank @@
+Normal rank
@@ Property / cites work @@
+A Unified Display Proof Theory for Bunched Logic
@@ Property / cites work: A Unified Display Proof Theory for Bunched Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Craig Interpolation in Displayable Logics
@@ Property / cites work: Craig Interpolation in Displayable Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of proof theory
@@ Property / cites work: Handbook of proof theory / rank @@
+Normal rank
@@ Property / cites work @@
+Three uses of the Herbrand-Gentzen theorem in relating model theory and proof theory
+Normal rank
@@ Property / cites work @@
+Q4484337
@@ Property / cites work: Q4484337 / rank @@
+Normal rank
@@ Property / cites work @@
+Harmonious logic: Craig's interpolation theorem and its descendants
+Normal rank
@@ Property / cites work @@
+Algebraization, parametrized local deduction theorem and interpolation for substructural logics over FL
+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 @@
+State of the Union: Type Inference Via Craig Interpolation
+Normal rank
@@ Property / cites work @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Quantified Invariant Generation Using an Interpolating Saturation Prover
+Normal rank
@@ Property / cites work @@
+Displaying and deciding substructural logics. I: Logics with contraposition
+Normal rank
@@ Property / cites work @@
+Interpolation in fragments of classical linear logic
+Normal rank
@@ Property / cites work @@
+Failure of interpolation in relevant logics
@@ Property / cites work: Failure of interpolation in relevant logics / rank @@
+Normal rank
@@ Property / cites work @@
+Displaying modal logic
@@ Property / cites work: Displaying modal logic / rank @@
+Normal rank