Making first order linear logic a generating grammar

DOI10.46298/LMCS-19(4:11)2023MaRDI QIDQ6137829zbMATH OpenFDO

Authors Sergey Slavnov

Publication date 16 January 2024

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

Copyright license Creative Commons Attribution 4.0 International

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)

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.

Cites work

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

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)