Switch to: References

Add citations

You must login to add citations.
  1. Residuation, structural rules and context freeness.Gerhard Jäger - 2004 - Journal of Logic, Language and Information 13 (1):47-59.
    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.
    Download  
     
    Export citation  
     
    Bookmark   9 citations