Pregroup Calculus as a Logic Functor

DOI10.1007/978-3-540-73445-1_11MaRDI QIDQ3612659zbMATH OpenOpenAlexFDO

Authors Annie Foret

Publication date 10 March 2009

Published in Logic, Language, Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-73445-1_11

zbMATH Keywords

cut eliminationLambek categorial grammarslogic functorpregroups

Mathematics Subject Classification ID

Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) (03B47) Logic of natural languages (03B65) Cut-elimination and normal-form theorems (03F05)

Recommendations

• A modular and parameterized presentation of pregroup calculus
• Type logics and pregroups
• scientific article; zbMATH DE number 2111978
• Extended pregroup grammars applied to natural languages
• On the logic of -pregroups

Cited in

(7)

• Type logics and pregroups
• Parsing pregroup grammars and Lambek calculus using partial composition
• On the logic of -pregroups
• Clitic movement in pregroup grammar: a cross-linguistic approach
• Cyclic properties: from linear logic to pregroups
• Language and grammar. Studies in mathematical linguistics and natural language
• A modular and parameterized presentation of pregroup calculus

This page was built for publication: Pregroup Calculus as a Logic Functor

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