Residuation, Structural Rules and Context Freeness
Gerhard Jäger · 2002
The article presents proofs of the context freeness of a family of type logical grammars, namely all grammars that are based on a uni- or multimodal logic of pure residuation, possibly enriched with the structural rules of Permutation and Expansion for binary modes.