Download presentation

Presentation is loading. Please wait.

Published byCarlos McPherson Modified over 4 years ago

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

Similar presentations

Presentation is loading. Please wait....

OK

Proving Triangles Similar

Proving Triangles Similar

© 2018 SlidePlayer.com Inc.

All rights reserved.

To make this website work, we log user data and share it with processors. To use this website, you must agree to our Privacy Policy, including cookie policy.

Ads by Google

Ppt on 60 years of indian parliamentary Ppt on hydro power plant Ppt on properties of different quadrilaterals Ppt on indian flag history Ppt on pre-ignition procedure Ppt on energy giving food proteins Ppt on chapter 3 atoms and molecules class Ppt on gas metal arc welding Ppt on emotional intelligence Ppt on viruses and bacteria's images