1. now the extensions…

2. NL: a pure logic of residuation Axiom Transitivity Residuation

3. Lambek calculus (sequents)

4. + modalities If brings you an A, then when provided with the structure S, it gives you an A with the structure S If with S brings you an A, then without it it gives you an A which lacks S!

5. consequences [] A A ([] A) A A L [] L A [] A (A) A A [] R R

6. + structural postulates Example :

7. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn npsss s P s ss s P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \ []/)\),/)\(,(( 2 )[]),\ /)\(,((( 1 )\),[]),/)\(,((( )\)),[],/)\((, )\)),,/)\((,.... nn\ nps),[]//(

8. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn npsss s P s ss s P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \ []/)\),/)\(,(( 2 )[]),\ /)\(,((( 1 )\),[]),/)\(,((( )\)),[],/)\((, )\)),,/)\((,.... nn\ nps),[]//(

9. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn P snpss s P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \,)ss\nps ),/)\((( 2 )[]),\ /)\(,((( 1 )\),[]),/)\(,((( )\)),[],/)\((, )\)),,/)\((,.... nn\ nps),[]//( s/ np[]

10. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn P sssnps P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \,)ss\nps ),/)\((( 2 )),\ /)\(,((( 1 )\),[]),/)\(,((( )\)),[],/)\((, )\)),,/)\((,.... nn\ nps),[]//( s/ np[] np[]

11. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn P sssnps P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \,)ss\nps ),/)\((( 2 )),\ /)\(,((( 1 )\), /)\(,((( )\)),[],/)\((, )\)),,/)\((,.... nn\ nps),[]//( s/ np[] np[] np[]

12. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn P sssnps P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \,)ss\nps ),/)\((( 2 )),\ /)\(,((( 1 )\),),,/)\(,(((((( )\)),)),[],/)\(,( )\)),,/)\((,.... nn\ nps),[]//( s/ np[] np[] np[] )

13. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn P sssnps P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \,)ss\nps ),/)\((( 2 )),\ /)\(,((( 1 )\),),,/)\(,(((((( )\)),)),[],/)\(,( )\)),,/)\((,.... nn\ nps),[]//( s/ np[] np[] np[] )

14. Example: non peripheral extraction (that I met _ yesterday) nnnn nnnn nnnn P sssnps P sss s L sss s sss s ss)\) s ),/\(,((nn)\( \\ \,)ss\nps ),/)\((( 2 )),\ /)\(,((( 1 )\),),,/)\(,(((((( )\)),)),[],/)\(,( )\)),,/)\((,.... nn\ nps),[]//( s/ np[] np[] np[] )

15. adapted proof-nets To take restructuring of resources into account To represent modalities see Richard Moots thesis –« Proof Nets for Linguistic Analysis »

16. Uses a contraction criterion (graph- rewriting)

17. a/a

18. a a

19. a a a a

20. a a a a a a

21. a a a a a a

22. a a a a a a

23. a a a a restructuring-1

24. a/a a a restructuring-2

25. a/a a contraction step