Extended Lambek Calculi and First-Order Linear Logic

DOI10.1007/978-3-642-54789-8_17zbMath1285.03016arXiv1305.6238OpenAlexW1673235088MaRDI QIDQ5414971

Richard Moot

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

Mathematics Subject Classification ID

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