Machine-Checked Interpolation Theorems for Substructural Logics Using Display Calculi (Q2817943): Difference between revisions

@@ Property / author @@
-Jeremy E. Dawson
@@ Property / author: Jeremy E. Dawson / rank @@
-Normal rank
@@ Property / author @@
+Jeremy E. Dawson
@@ Property / author: Jeremy E. Dawson / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Isabelle/HOL
@@ Property / describes a project that uses: Isabelle/HOL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-40229-1_31
+Normal rank
@@ Property / OpenAlex ID @@
+W2484729803
@@ Property / OpenAlex ID: W2484729803 / rank @@
+Normal rank
@@ Property / cites work @@
+Display logic
@@ Property / cites work: Display 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 @@
+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 @@
+Generic Methods for Formalising Sequent Calculi Applied to Provability Logic
+Normal rank
@@ Property / cites work @@
+Harmonious logic: Craig's interpolation theorem and its descendants
+Normal rank
@@ Property / cites work @@
+Machine Checking Proof Theory: An Application of Logic to Logic
+Normal rank
@@ Property / cites work @@
+Quantified Invariant Generation Using an Interpolating Saturation Prover
+Normal rank