Studia Logica

, Volume 87, Issue 2, pp 199–224

Parsing Pregroup Grammars and Lambek Calculus Using Partial Composition


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


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.


pregroup Lambek calculus linear logic parsing context-free grammars 

Copyright information

© Springer Science+Business Media B.V. 2007

Authors and Affiliations

  1. 1.LINA & CNRS FRE 2729Nantes Cedex 03France

Personalised recommendations