Séminaire de géométrie et singularités

  1. Prochain exposé
  2. Calendrier
  3. Informations pratiques

Notre séminaire a lieu en moyenne une fois par mois, en général en salle 016 ou 004, rez-de chaussée du bâtiment 22, Campus de Beaulieu. Chaque séance comprend en général deux exposés, un le matin et un l'après-midi. Chaque exposé dure 1h20 plus une pause au bout de 40 minutes d'exposé.

 

Prochain exposé

Date : 1ier février 2018 à 10h15                           Lieu : Bâtiment 22, salle 16
Orateur : Guillaume Aucher (IRISA)
Titre : A new road towards universal logic ?

Résumé : A generic logic called ‘Gaggle logic’ is introduced. It is based on Gaggle theory and deals with connectives of arbitrary arity that are related to each other by abstract laws of residuation. We list the 96 binary connectives and the 16 unary connectives of Gaggle logic. We provide a sound and complete calculus for Gaggle logic which enjoys strong cut elimination and the display property. We show that Gaggle logic is decidable and satisfies the properties of conservativity and interpolation. Then, we generalize the Kracht’s correspondence results established for the basic tense logic to Gaggle logic. We prove that a logic extending Gaggle logic is axiomatizable by means of so-called ‘protoanalytic’ inference rules if, and only if, the class of frames on which such a logic is based is definable by specific first-order frame conditions, also called ‘protoanalytic’. We provide algorithms that compute the corresponding protoanalytic inference rules from the protoanalytic first-order frame conditions, and vice versa. We illustrate these algorithms on well-known structural inference rules and we show in particular how we can recover classical logic from Gaggle logic by the addition of protoanalytic inference rules that refine the standard classical inference rules.

 

Calendrier

  • 2 mars 2018: journée de géométrie algébrique réelle
  • 1ier février 2018 à 10h15 (Bâtiment 22, salle 16) : Guillaume Aucher (IRISA)

 

  • 21 novembre 2017, Alexis Bouthier (Paris 6)

 

Informations pratiques

Pour se rendre au campus de Beaulieu depuis la gare de Rennes

  1. Prendre le métro à la gare de Rennes, direction "J.F. Kennedy". Descendre deux arrêts plus loin, station "République".
  2. De là (toujours avec le même ticket de métro) prendre, devant la grande poste, le bus nº C4 ou 40ex, direction "ZA Saint-Sulpice". Descendre à l'arrêt "Beaulieu Restaurant Universitaire". Plan et horaires
  3. Traverser la rue et suivre l'allée immédiatement en face de vous. Environ deux cent mètres plus loin, vous avez face à vous un parking, et, sur votre gauche, la tour de mathématiques qui abrite l'IRMAR. C'est le bâtiment 22-23 et la plus grande tour visible. Plan

Pour se rendre au campus de Beaulieu depuis l'aéroport de Rennes : prendre le bus 45 vers et jusqu'à "Rennes - République", puis suivre les points 2 et 3 ci-dessus.

Les orateurs et oratrices sont invités à réserver leur billet de transport, et à remplir au préalable les documents administratifs, accessibles sur cette page.