Residuation, Structural Rules and Context Freeness
- Cite this article as:
- Jäger, G. Journal of Logic, Language and Information (2004) 13: 47. doi:10.1023/A:1026175817625
- 47 Downloads
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.