Cyclic Multiplicative Proof Nets of Linear Logic with an Application to Language Parsing (Q2947459): 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-662-47709-0_5
+Normal rank
@@ Property / OpenAlex ID @@
+W1419998034
@@ Property / OpenAlex ID: W1419998034 / rank @@
+Normal rank
@@ Property / cites work @@
+Classical conservative extensions of Lambek calculus
+Normal rank
@@ Property / cites work @@
+Non-commutative logic. I: The multiplicative fragment
+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
@@ Property / cites work @@
+Q4896506
@@ Property / cites work: Q4896506 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3548539
@@ Property / cites work: Q3548539 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof nets for unit-free multiplicative-additive linear logic
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4650584
@@ Property / cites work: Q4650584 / rank @@
+Normal rank
@@ Property / cites work @@
+A new correctness criterion for multiplicative non-commutative proof nets
+Normal rank
@@ Property / cites work @@
+Retractile Proof Nets of the Purely Multiplicative and Additive Fragment of Linear Logic
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+Normal rank
@@ Property / cites work @@
+Proof nets for the multimodal Lambek calculus
@@ Property / cites work: Proof nets for the multimodal Lambek calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A semantic characterisation of the correctness of a proof net
+Normal rank
@@ Property / cites work @@
+Proof Nets for Lambek Calculus
@@ Property / cites work: Proof Nets for Lambek Calculus / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2947459