Expanding the Realm of Systematic Proof Theory (Q3644747): Difference between revisions

@@ 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-642-04027-6_14
+Normal rank
@@ Property / OpenAlex ID @@
+W2244976569
@@ Property / OpenAlex ID: W2244976569 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Hypersequents, logical consequence and intermediate logics for concurrency
+Normal rank
@@ Property / cites work @@
+Algebraic proof theory for substructural logics: cut-elimination and completions
+Normal rank
@@ Property / cites work @@
+Axiomatic extensions of IMT3 logic
@@ Property / cites work: Axiomatic extensions of IMT3 logic / rank @@
+Normal rank
@@ Property / cites work @@
+Finite products are biproducts in a compact closed category
+Normal rank
@@ Property / cites work @@
+Q5688807
@@ Property / cites work: Q5688807 / rank @@
+Normal rank
@@ Property / cites work @@
+Stability of the Blok theorem
@@ Property / cites work: Stability of the Blok theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5411445
@@ Property / cites work: Q5411445 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof Theory for Casari's Comparative Logics
@@ Property / cites work: Proof Theory for Casari's Comparative Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent and hypersequent calculi for abelian and łukasiewicz logics
+Normal rank
@@ Property / cites work @@
+Q4440564
@@ Property / cites work: Q4440564 / rank @@
+Normal rank
@@ Property / cites work @@
+Forum: A multiple-conclusion specification logic
@@ Property / cites work: Forum: A multiple-conclusion specification logic / rank @@
+Normal rank
@@ Property / cites work @@
+Residuated lattices. An algebraic glimpse at substructural logics
+Normal rank
@@ Property / cites work @@
+Proof analysis in modal logic
@@ Property / cites work: Proof analysis in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Basic logic: reflection, symmetry, visibility
@@ Property / cites work: Basic logic: reflection, symmetry, visibility / rank @@
+Normal rank
@@ Property / cites work @@
+Some Syntactical Observations on Linear Logic
@@ Property / cites work: Some Syntactical Observations on Linear Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Polycategories
@@ Property / cites work: Polycategories / rank @@
+Normal rank
@@ Property / cites work @@
+Which structural rules admit cut elimination? An algebraic criterion
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3644747