Interpolation in fragments of classical linear logic (Q4302342): 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.2307/2275398
@@ Property / full work available at URL: https://doi.org/10.2307/2275398 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2154981679
@@ Property / OpenAlex ID: W2154981679 / rank @@
+Normal rank
@@ Property / cites work @@
+Der Interpolationssatz der intuitionistischen Prädikatenlogik
+Normal rank
@@ Property / cites work @@
+Proof Nets for Lambek Calculus
@@ Property / cites work: Proof Nets for Lambek Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+The structure of multiplicatives
@@ Property / cites work: The structure of multiplicatives / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4302342