Warning: Table './church/sessions' is marked as crashed and last (automatic?) repair failed query: SELECT sid FROM sessions WHERE sid = 'ssbnbjnuskfasgmu55vaomdgv6' in /var/www/church/includes/database.mysql.inc on line 121
Seminari del gruppo di ricerca in “Logica e Geometria della Cognizione” | Gruppo di Logica e Geometria della Cognizione
Home

Seminari del gruppo di ricerca in “Logica e Geometria della Cognizione”

Cari tutti,
si segnala il prossimo seminario del nostro gruppo, che avrà luogo venerdì 12 alle ore 11 nell'aula 311 del Dipartimento di Matematica e Fisica:

Matteo Acclavio (Institut de Mathématiques de Marseille)
Diagrammi di corde per le reti di prova

Abstract
Le reti di prova in MELL necessitano di criteri di correttezza non locali o esterni alla sintassi delle reti di interazioni: connessione, aciclicita', box, salti.
Dopo aver introdotto la sintassi dei diagrammi di corde per le categorie monoidali, verra' descritto come ricostruire in questi contesti modelli di proof net con un unico criterio di correttezza locale per MLL e MELL (con o senza costanti).


Warning: Can't find file: 'watchdog' (errno: 2) query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', 'Table './church/sessions' is marked as crashed and last (automatic?) repair failed\nquery: SELECT sid FROM sessions WHERE sid = 'ssbnbjnuskfasgmu55vaomdgv6' in /var/www/church/includes/database.mysql.inc on line 121.', 2, '', 'http://logica.uniroma3.it/node/646', '', '216.73.216.11', 1759559280) in /var/www/church/includes/database.mysql.inc on line 121