Displacement logic for anaphora (Q386040): 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.1016/j.jcss.2013.05.006
+Normal rank
@@ Property / OpenAlex ID @@
+W2064259365
@@ Property / OpenAlex ID: W2064259365 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2751052
@@ Property / cites work: Q2751052 / rank @@
+Normal rank
@@ Property / cites work @@
+Sequent-systems and groupoid models. I
@@ Property / cites work: Sequent-systems and groupoid models. I / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+Anaphora and type logical grammar
@@ Property / cites work: Anaphora and type logical grammar / rank @@
+Normal rank
@@ Property / cites work @@
+The Lambek calculus enriched with additional connectives
+Normal rank
@@ Property / cites work @@
+Q3033743
@@ Property / cites work: Q3033743 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4263075
@@ Property / cites work: Q4263075 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3612673
@@ Property / cites work: Q3612673 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4331781
@@ Property / cites work: Q4331781 / rank @@
+Normal rank
@@ Property / cites work @@
+Grammar and logic*
@@ Property / cites work: Grammar and logic* / rank @@
+Normal rank
@@ Property / cites work @@
+Resource-sensitivity, binding and anaphora.
@@ Property / cites work: Resource-sensitivity, binding and anaphora. / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming of the Displacement Calculus
@@ Property / cites work: Logic Programming of the Displacement Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+On Anaphora and the Binding Principles in Categorial Grammar
+Normal rank
@@ Property / cites work @@
+The displacement calculus
@@ Property / cites work: The displacement calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4862312
@@ Property / cites work: Q4862312 / rank @@
+Normal rank