Journal of Logic, Language and Information

, Volume 13, Issue 1, pp 47-59

First online:

Residuation, Structural Rules and Context Freeness

  • Gerhard JägerAffiliated withUniversity of Potsdam

Rent the article at a discount

Rent now

* Final gross prices may vary according to local VAT.

Get Access


The article presents proofs of the context freeness of a family of typelogical grammars, namely all grammars that are based on a uni- ormultimodal logic of pure residuation, possibly enriched with thestructural rules of Permutation and Expansion for binary modes.

categorial grammar generative capacity mathematical linguistics multimodal type logical grammar