Download presentation

Presentation is loading. Please wait.

Published byCarlos McPherson Modified over 3 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

Distributed Algorithms – 2g1513 Lecture 1b – by Ali Ghodsi Models of distributed systems continued and logical time in distributed systems.

Distributed Algorithms – 2g1513 Lecture 1b – by Ali Ghodsi Models of distributed systems continued and logical time in distributed systems.

© 2017 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