Non-commutative linear logic in linguistics

DOI10.1023/A:1012429728354zbMath1005.03034OpenAlexW1566553231MaRDI QIDQ700787

Claudia Casadio

Publication date: 8 October 2002

Published in: Grammars (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1012429728354

zbMATH Keywords

categorylinear logicnegationproof nettype grammarunbounded dependency

Mathematics Subject Classification ID

Logic of natural languages (03B65) Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Proof-theoretic aspects of linear logic and other substructural logics (03F52)

Related Items (3)

Symmetric categorial grammar ⋮ On involutive nonassociative Lambek calculus ⋮ From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)}

This page was built for publication: Non-commutative linear logic in linguistics