The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845): Difference between revisions

@@ Property / describes a project that uses @@
+Lolli
@@ Property / describes a project that uses: Lolli / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+CatLog3
@@ Property / describes a project that uses: CatLog3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3093575955
@@ Property / OpenAlex ID: W3093575955 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00075
@@ Property / arXiv ID: 2008.00075 / rank @@
+Normal rank
@@ 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 @@
+Q5536273
@@ Property / cites work: Q5536273 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5541333
@@ Property / cites work: Q5541333 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4218928
@@ Property / cites work: Q4218928 / rank @@
+Normal rank
@@ Property / cites work @@
+A cut-free Gentzen formulation of the modal logic S5
+Normal rank
@@ Property / cites work @@
+Some Decision Problems in the Theory of Syntactic Categories
+Normal rank
@@ Property / cites work @@
+The Equivalence of Unidirectional Lambek Categorial Grammars and Context‐Free Grammars
+Normal rank
@@ Property / cites work @@
+Q4463937
@@ Property / cites work: Q4463937 / rank @@
+Normal rank
@@ Property / cites work @@
+Infinitary action logic: complexity, models and grammars
+Normal rank
@@ Property / cites work @@
+Three models for the description of language
@@ Property / cites work: Three models for the description of language / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Categorial Dependency Grammars
@@ Property / cites work: Generalized Categorial Dependency Grammars / rank @@
+Normal rank
@@ Property / cites work @@
+Multiple conclusion linear logic: cut elimination and more
+Normal rank
@@ Property / cites work @@
+Untersuchungen über das logische Schliessen. I
@@ Property / cites work: Untersuchungen über das logische Schliessen. I / rank @@
+Normal rank
@@ Property / cites work @@
+Linear logic
@@ Property / cites work: Linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+A new constructive logic: classic logic
@@ Property / cites work: A new constructive logic: classic logic / rank @@
+Normal rank
@@ Property / cites work @@
+On the unity of logic
@@ Property / cites work: On the unity of logic / rank @@
+Normal rank
@@ Property / cites work @@
+A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
+Normal rank
@@ Property / cites work @@
+Logic programming in a fragment of intuitionistic linear logic
+Normal rank
@@ Property / cites work @@
+On the generative capacity of multi-modal categorial grammars
+Normal rank
@@ Property / cites work @@
+The Lambek calculus enriched with additional connectives
+Normal rank
@@ Property / cites work @@
+On the recognizing power of the Lambek calculus with brackets
+Normal rank
@@ Property / cites work @@
+Q5111318
@@ Property / cites work: Q5111318 / rank @@
+Normal rank
@@ Property / cites work @@
+A logical framework with commutative and non-commutative subexponentials
+Normal rank
@@ Property / cites work @@
+Subexponentials in non-commutative linear logic
@@ Property / cites work: Subexponentials in non-commutative linear logic / rank @@
+Normal rank
@@ Property / cites work @@
+On Lambek’s Restriction in the Presence of Exponential Modalities
+Normal rank
@@ Property / cites work @@
+Undecidability of the Lambek Calculus with a Relevant Modality
+Normal rank
@@ Property / cites work @@
+Undecidability of the Lambek calculus with subexponential and bracket modalities
+Normal rank
@@ Property / cites work @@
+Reconciling Lambek’s restriction, cut-elimination and substitution in the presence of exponential modalities
+Normal rank
@@ Property / cites work @@
+On the complexity of reasoning in Kleene algebra
@@ Property / cites work: On the complexity of reasoning in Kleene algebra / rank @@
+Normal rank
@@ Property / cites work @@
+Lambek grammars with one division and one primitive type
+Normal rank
@@ Property / cites work @@
+Lambek Grammars with the Unit
@@ Property / cites work: Lambek Grammars with the Unit / rank @@
+Normal rank
@@ Property / cites work @@
+Conjunctive Grammars in Greibach Normal Form and the Lambek Calculus with Additive Connectives
+Normal rank
@@ Property / cites work @@
+On translating Lambek grammars with one division into context-free grammars
+Normal rank
@@ Property / cites work @@
+The Lambek calculus with iteration: two variants
@@ Property / cites work: The Lambek calculus with iteration: two variants / rank @@
+Normal rank
@@ Property / cites work @@
+Q4599225
@@ Property / cites work: Q4599225 / 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 @@
+Q5783653
@@ Property / cites work: Q5783653 / rank @@
+Normal rank
@@ Property / cites work @@
+Multimodal linguistic inference
@@ Property / cites work: Multimodal linguistic inference / 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 @@
+A Categorial Type Logic
@@ Property / cites work: A Categorial Type Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bracket induction for Lambek calculus with bracket modalities
+Normal rank
@@ Property / cites work @@
+Parsing/theorem-proving for logical grammar \textit{CatLog3}
+Normal rank
@@ Property / cites work @@
+Conjunctive and Boolean grammars: the true general case of the context-free grammars
+Normal rank
@@ Property / cites work @@
+Lambek calculus is NP-complete
@@ Property / cites work: Lambek calculus is NP-complete / rank @@
+Normal rank
@@ Property / cites work @@
+Recursive Unsolvability of a problem of Thue
@@ Property / cites work: Recursive Unsolvability of a problem of Thue / rank @@
+Normal rank
@@ Property / cites work @@
+Unidirectional Lambek grammars in polynomial time
@@ Property / cites work: Unidirectional Lambek grammars in polynomial time / rank @@
+Normal rank