|
Evènement pour le groupe Séminaire du LaBRI
Date | 2010-12-16 14:00-15:00 |
Titre | Sé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. |
Lieu | Amphi LaBRI |
Orateur | Michele Abrusci |
Url | Roma III University, Italy |
Aucun document lié à cet événement. RetourRetour à l'index
| |