Extended Lambek Calculi and First-Order Linear Logic
From MaRDI portal
Publication:5414971
DOI10.1007/978-3-642-54789-8_17zbMath1285.03016arXiv1305.6238OpenAlexW1673235088MaRDI QIDQ5414971
Publication date: 8 May 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1305.6238
Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47)
Related Items
Parsing/theorem-proving for logical grammar \textit{CatLog3}, Making first order linear logic a generating grammar, Multimodality in the Hypergraph Lambek Calculus, Models for the Displacement Calculus, Proof Nets for the Displacement Calculus
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The logic of categorial grammars. A deductive account of natural language syntax and semantics
- Linear logic
- On multiple context-free grammars
- The structure of multiplicatives
- First-order linear logic without modalities is NEXPTIME-hard
- Proof nets for the multimodal Lambek calculus
- Multimodal linguistic inference
- The displacement calculus
- Lambek calculus is NP-complete
- Locus Solum: From the rules of logic to the logic of rules
- The Mathematics of Sentence Structure
- Normal Forms for Multiple Context-Free Languages and Displacement Lambek Grammars
- Continuation Semantics for Symmetric Categorial Grammar
- Symmetries in Natural Language Syntax and Semantics: The Lambek-Grishin Calculus
- The Pumping Lemma for Well-Nested Multiple Context-Free Languages
- Logic Programming with Focusing Proofs in Linear Logic
- A BRIEF SURVEY OF FRAMES FOR THE LAMBEK CALCULUS
- Product-free Lambek calculus and context-free grammars
- Generalized Quantifiers in Declarative and Interrogative Sentences
- On Anaphora and the Binding Principles in Categorial Grammar
- Proof Nets for Basic Discontinuous Lambek Calculus
- A New Normal-Form Theorem for Context-Free Phrase Structure Grammars
- Indexed Grammars—An Extension of Context-Free Grammars
- Linguistic application of first order intuitionistic linear logic