A modular and parameterized presentation of pregroup calculus

DOI10.1016/J.IC.2009.03.010MaRDI QIDQ964501zbMATH OpenOpenAlexFDO

Authors Annie Foret

Publication date 22 April 2010

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ic.2009.03.010

zbMATH Keywords

cut eliminationpregroupsLambek categorial grammarslogic componentlogic functor

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Natural language processing (68T50)

Recommendations

• Pregroup Calculus as a Logic Functor
• Type logics and pregroups
• scientific article; zbMATH DE number 1786547
• Extended pregroup grammars applied to natural languages
• scientific article; zbMATH DE number 2050935

Cites work

• scientific article; zbMATH DE number 976409 (Why is no real title available?)
• scientific article; zbMATH DE number 1786545 (Why is no real title available?)
• scientific article; zbMATH DE number 1786547 (Why is no real title available?)
• scientific article; zbMATH DE number 1786548 (Why is no real title available?)
• scientific article; zbMATH DE number 2090123 (Why is no real title available?)
• Commutation-augmented pregroup grammars and mildly context-sensitive languages
• Commutation-augmented pregroup grammars and push-down automata with cancellation
• Logical Aspects of Computational Linguistics
• Pregroups and natural language processing
• Programs, Grammars and Arguments: A Personal View of some Connections between Computation, Language and Logic
• Sequent systems for compact bilinear logic

Cited in

(7)

• Pregroup grammars, their syntax and semantics
• Extending free pregroups with lower bounds
• Clitic movement in pregroup grammar: a cross-linguistic approach
• Parsing pregroup grammars and Lambek calculus using partial composition
• scientific article; zbMATH DE number 2111978 (Why is no real title available?)
• Pregroup Calculus as a Logic Functor
• Extended pregroup grammars applied to natural languages

Describes a project that uses

Uses Software

• Logfun

This page was built for publication: A modular and parameterized presentation of pregroup calculus

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