Making first order linear logic a generating grammar

DOI10.46298/lmcs-19(4:11)2023arXiv2206.08955MaRDI QIDQ6137829

Sergey Slavnov

Publication date: 16 January 2024

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2206.08955

zbMATH Keywords

diagrammatic reasoningLambek calculuslinear logiccategorial grammars

Mathematics Subject Classification ID

Logic in computer science (03B70) Computer science (68-XX)

Cites Work

• Unnamed Item
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• Linear logic
• The displacement calculus
• Distinguishing Phenogrammar from Tectogrammar Simplifies the Analysis of Interrogatives
• The Mathematics of Sentence Structure
• Gapping as Like-Category Coordination
• On embedding Lambek calculus into commutative categorial grammars
• Extended Lambek Calculi and First-Order Linear Logic
• Linguistic application of first order intuitionistic linear logic

This page was built for publication: Making first order linear logic a generating grammar