Non-commutative linear logic in linguistics

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

Authors: 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

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
• scientific article; zbMATH DE number 786486
• scientific article; zbMATH DE number 1342286
• scientific article; zbMATH DE number 1330453
• A geometrical representation of the basic laws of categorial grammar
• Linguistic application of first order intuitionistic linear logic
• On the Lambek calculus with an exchange modality

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 (9)

• 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)}
• Lambek's syntactic calculus and noncommutative variants of linear logic: laws and proof-nets
• Non-commutative logic for compositional distributional semantics
• \(\mathrm{NL}_\lambda\) as the logic of scope and movement
• On involutive nonassociative Lambek calculus

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)