Non-commutative linear logic in linguistics

DOI10.1023/A:1012429728354MaRDI QIDQ700787zbMATH OpenOpenAlexFDO

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

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)

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

Cited in

(10)

• Symmetric categorial grammar
• Linguistic application of first order intuitionistic linear logic
• scientific article; zbMATH DE number 786486 (Why is no real title available?)
• Proof-theoretic aspects of hybrid type-logical grammars
• scientific article; zbMATH DE number 2185722 (Why is no real title available?)
• 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)