 |
 |
|
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
| |