Evènement pour le 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