Benvenuto
Gruppo di Logica e Geometria della Cognizione
coordinatore: V. Michele Abrusci

 

Dipartimento di Matematica e Fisica
Università Roma Tre
Largo San Leonardo Murialdo 1
00144 Roma -Italia

 

Il fondamento scientifico della costituzione del gruppo risiede nell'interesse che tutti i suoi componenti portano alla moderna teoria della dimostrazione. Questo settore della logica matematica ha conosciuto recentemente una vera e propria "rinascita", dovuta al suo incontro con l'informatica: la corrispondenza di Curry-Howard stabilisce una corrispondenza tra dimostrazioni e programmi e tra esecuzione dei programmi ed eliminazione del taglio (un procedimento di trasformazione delle dimostrazioni ben noto ai logici). La scoperta di questa semplice e fondamentale corrispondenza è il punto di partenza per un nuovo approccio alla nozione di costruttività in logica ed alla programmazione in informatica.

In quest'ambito si colloca l'apparizione della logica lineare, che unisce gli aspetti "costruttivi" della logica intuizionista alle simmetrie della logica classica. La logica lineare nasce da un'analisi matematica molto fine della semantica delle dimostrazioni della logica intuizionista. Dalla sua apparizione nel 1986, essa si è imposta come strumento usato in vari settori di ricerca, dalla teoria della dimostrazione al lambda-calcolo, dalle macchine astratte al calcolo distribuito, dalla teoria della complessità alla programmazione logica.


News

Semantica relazionale e tempo di calcolo, in logica lineare moltiplicativa

Speaker:
Giulio Guerrieri
Quando:
22/01/2010 - 12:15
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Linear Logic by asymmetric levels

Speaker:
Andrei Dorman
Quando:
22/01/2010 - 11:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Prime considerazioni su “LOGICOMIX: an epic search for truth”

Speaker:
Michele Abrusci
Quando:
15/01/2010 - 11:30
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Il modello di Scott della Logica Lineare è il collasso estensionale del modello relazionale

Speaker:
Thomas Ehrhard
Quando:
30/10/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università degli Studi Roma Tre
Abstract


Incontro in onore dei 60 anni di V.Michele Abrusci

Organizzatori:
Roberto Maieli (maieli@uniroma3.it)
Teresa Numerico (tnumerico@uniroma3.it)
Lorenzo Tortora de Falco (tortora@uniroma3.it)
Inizio:
17/09/2009
Fine:
17/09/2009
Dove:
Villa Finaly (http://www.villafinaly.sorbonne.fr/index.html) Via Bolognese, 134 R -- 50139 Firenze
Descrizione

Logica e geometria della cognizione: incontro in onore dei 60 anni di V.Michele Abrusci
Villa Finaly - Firenze - h15.30

Interverranno:

Jean-Yves Girard (Logica Lineare)
Giuseppe Longo (Logica e Interazione: verso una geometria della cognizione)
Alain Lecomte (Logica e Linguistica)
Simona Ronchi Della Rocca (Logica e Informatica in Italia)


I principali teoremi sulla logica: un bilancio e alcune prospettive

Speaker:
V.Michele Abrusci
Quando:
03/07/2009 - 17:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Alcuni aspetti logici del teorema di classificazione per le superfici topologiche (Massey)

Speaker:
Gabriele Pulcini (ENS Parigi)
Quando:
22/05/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Le proposizioni "positive" e "negative" nel ragionamento: uno studio elettroencefalografico

Speaker:
Claudia Casadio (Università di Chieti), M. Teresa Medaglia e Camillo Porcaro (Aston University, Birmingham)
Quando:
21/05/2009 - 16:00
Dove:
Aula 16, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


La logica contemporanea e lo statuto della metafisica aristotelica: alcune considerazioni

Speaker:
Jean-Baptiste Joinet (Philosophie, Paris 1 Panthéon-Sorbonne)
Quando:
15/05/2009 - 16:00
Dove:
Aula 16, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Sull'unità della logica classica

Speaker:
Mattia Petrolo
Quando:
15/05/2009 - 11:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract