Non-commutative linear logic in linguistics

DOI10.1023/A:1012429728354zbMATH Open1005.03034OpenAlexW1566553231MaRDI QIDQ700787FDOQ700787

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

linear logicnegationcategoryproof nettype grammarunbounded dependency

Mathematics Subject Classification ID

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

Cited In (7)

• Symmetric categorial grammar
• Linguistic application of first order intuitionistic linear logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• From word to sentence: a pregroup analysis of the object pronoun \textit{who(m)}
• Non-commutative logic for compositional distributional semantics
• On involutive nonassociative Lambek calculus

   Recommendations

• Lambek’s Syntactic Calculus and Noncommutative Variants of Linear Logic: Laws and Proof-Nets 👍 👎
• On Residuation 👍 👎
• A comparison between lambek syntactic calculus and intuitionistic linear propositional logic 👍 👎
• Soft subexponentials and multiplexing 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• A geometrical representation of the basic laws of categorial grammar 👍 👎
• Linguistic application of first order intuitionistic linear logic 👍 👎
• Title not available (Why is that?) 👍 👎

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

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