Studia Logica

, Volume 87, Issue 2, pp 199–224

Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition

Authors

Article

DOI: 10.1007/s11225-007-9084-3

Cite this article as:
Béchet, D. Stud Logica (2007) 87: 199. doi:10.1007/s11225-007-9084-3

Abstract

The paper presents a way to transform pregroup grammars into contextfree grammars using functional composition. The same technique can also be used for the proof-nets of multiplicative cyclic linear logic and for Lambek calculus allowing empty premises.

Keywords

pregroupLambek calculuslinear logicparsingcontext-free grammars

Copyright information

© Springer Science+Business Media B.V. 2007