Making first order linear logic a generating grammar

DOI10.46298/LMCS-19(4:11)2023arXiv2206.08955MaRDI QIDQ6137829FDOQ6137829

Authors: Sergey Slavnov 

Publication date: 16 January 2024

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

Abstract: It is known that different categorial grammars have surface representation in a fragment of first order multiplicative linear logic. We show that the fragment of interest is equivalent to the recently introduced {it extended tensor type calculus}. This provides the former not only with some alternative syntax and intuitive geometric representation, but also with an intrinsic deductive system, which has been absent.

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

zbMATH Keywords

linear logicLambek calculusdiagrammatic reasoningcategorial grammars

Mathematics Subject Classification ID

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

Cites Work

• Linear logic
• The logic of categorial grammars. A deductive account of natural language syntax and semantics
• The Mathematics of Sentence Structure
• Title not available (Why is that?)
• The displacement calculus
• Extended Lambek calculi and first-order linear logic
• Linguistic application of first order intuitionistic linear logic
• Distinguishing Phenogrammar from Tectogrammar Simplifies the Analysis of Interrogatives
• Gapping as Like-Category Coordination
• On embedding Lambek calculus into commutative categorial grammars

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6137829)