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

OK

1Geometry Lesson: Pairs of Triangles in Proofs Aim: How do we use two pairs of congruent triangles in proofs? Do Now: A D R L B P K M.

1Geometry Lesson: Pairs of Triangles in Proofs Aim: How do we use two pairs of congruent triangles in proofs? Do Now: A D R L B P K M.

© 2018 SlidePlayer.com Inc.

All rights reserved.

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