Actualités
  Période
semaine
ou mois
aucune période


  Thèmes:
Thèses
Colloques
Autres
Groupes
Tous les thèmes

   
  Liens:
Voir les thèses

Voir les colloques

Voir les autres événements

Voir la page des groupes

Accéder à l'intranet

Intitulé:   
Sém LaBRI. La logique non-commutative, dix ans après
du groupe Séminaire du LaBRI

Date 2010-12-16  14:00-15:00
TitreSém LaBRI. La logique non-commutative, dix ans après 
RésuméJe propose quelques remarques méthodologiques sur la logique non-commutative qui a été introduite par moi et Paul Ruet en 2000. Les remarques ont été inspirées par les développements de la logique linéaire et de la logique non-commutative, et elles concernent : le sens dans lequel la logique non-commutative est un raffinement de la logique linéaire, la computation dans la logique non-commutative, la focalisation dans la logique non-commutative, la description et l'imposition de l'ordre en logique non-commutative, les connecteurs multiplicatifs non-commutatifs généralisés. 
LieuAmphi LaBRI 
OrateurMichele Abrusci 
UrlRoma III University, Italy 



Aucun document lié à cet événement.

Retour
Retour à l'index