De la logique lineaire a la logique differentielle sans promotion

icon

54

pages

icon

Français

icon

Documents

2010

Écrit par

Publié par

Lire un extrait
Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris
icon

54

pages

icon

Français

icon

Ebook

2010

Lire un extrait
Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

De la logique lineaire a la logique differentielle (sans promotion !) Giulio Guerrieri Universite Paris 7 / Universita Roma Tre 11 mars 2010 Projet Verite & Preuve Giulio Guerrieri (Roma Tre / Paris 7) De la logique lineaire a la logique differentielle (sans promotion !) 11 mars 2010 1 / 27

  • modele relationnel de ll

  • systeme logique

  • logique lineaire

  • propositionnelle intuitionniste minimale

  • calcul des sequents classique

  • correspondance de curry-howard

  • logique ?-calcul

  • systemes logiques


Voir icon arrow

Publié par

Publié le

01 mars 2010

Nombre de lectures

34

Langue

Français

Grrieri(RiulioGuesiraeD)7TamoP/erinelai´elolaqugideiiguqalolera`sanslle(ntie´ereram11p
Giulio Guerrieri
11 mars 2010 ProjetP&ervueVretie´
Delalogiquelin´eaire`alalogiquedi´erentielle (sans promotion !)
Universite´Paris7/Universit`aRomaTre
7/20101s2
11ma102/rs20
Giulio Guerrieri
Universite´Paris7/Universita`RomaTre
11 mars 2010 ProjetVet´ri&erPueev
72
Delalogiquelin´eaire`alalogiquedie´rentielle (sans promotion !)
RomaTre/errieri(iGluoiuGalale`irean´liueqigolaleD)7siraPsp(sanelleneit´reeuidgoqi
iraP/erTamoR(ireliueiqogalel)Ds7erriioGuGiulnas(ps3/10
Outline
27ma1120rslalagoqi´naeri`eentielleuedi´er
3
Lemod`elerelationneldeLL
2
Lalogiqueline´aire
1
Introduction
Lalogiqueline´airedi´erentielle
4
3
Lemode`lerelationneldeLL
eairlin´iquealogD)leir7s/eaPamrTRoi(errierGuiouliG
Outline
Lalogiqueline´airedie´rentielle
4
1
Introduction
2
Lalogiquelin´eaire
20104/2711amsr(slespanenereltieuqi´idla`egola
nfniioittuInelumrofeuqitamroedcsitnoer!suoupeducβ-r´!caltione´xe,lucnoituct!py!eytepedodnn´e,sp´ecicationuerpλ!evret-p!emgrromeamli´enami11rsma
λ-calcul
Notre background : la correspondance de Curry-Howard
Cette correspondance est valable, par exemple, si on prend : commesyst`emelogique:lad´eductionnaturellepropositionnelleintuitionniste minimale commesyste`medecalcul:leλimlsempltten´eypc-ucla Ellepeuteˆtre´etendue`adessyst`emeslogiquesetdecalculplusgrands(second ordre,calculdess´equentsclassique,etc.).
Logique
010272/5iquedi´e`alalogels(napsreneitleel)Ds7riPae/Trmariae´nileuqigolaGi(ioRirreuGreluoi
Voir icon more
Alternate Text