De la logique lineaire a la logique differentielle sans promotion

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