On Lambek’s Restriction in the Presence of Exponential Modalities (Q5283424): Difference between revisions

@@ Property / cites work @@
+A comparison between lambek syntactic calculus and intuitionistic linear propositional logic
+Normal rank
@@ Property / cites work @@
+Logic Programming with Focusing Proofs in Linear Logic
+Normal rank
@@ Property / cites work @@
+Some Decision Problems in the Theory of Syntactic Categories
+Normal rank
@@ Property / cites work @@
+Q4398333
@@ Property / cites work: Q4398333 / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The Mathematics of Sentence Structure
@@ Property / cites work: The Mathematics of Sentence Structure / rank @@
+Normal rank
@@ Property / cites work @@
+Decision problems for propositional linear logic
@@ Property / cites work: Decision problems for propositional linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+The logic of categorial grammars. A deductive account of natural language syntax and semantics
+Normal rank
@@ Property / cites work @@
+Focusing in Linear Meta-logic
@@ Property / cites work: Focusing in Linear Meta-logic / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek Grammars with One Division Are Decidable in Polynomial Time
+Normal rank
@@ Property / cites work @@
+Product-Free Lambek Calculus Is NP-Complete
@@ Property / cites work: Product-Free Lambek Calculus Is NP-Complete / rank @@
+Normal rank
@@ Property / cites work @@
+Quantales and (noncommutative) linear logic
@@ Property / cites work: Quantales and (noncommutative) linear logic / rank @@
+Normal rank