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

Sémantique des jeux asynchrones et réécriture 2-dimensionnelle

Speaker:
Samuel Mimram (PPS, Université Paris 7)
Quando:
16/01/2009 - 15:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Dalle dimostrazioni parallele a quelle sequenziali: polarità e sequenzialità in logica lineare

Speaker:
Paolo Di Giamberardino (LIPN, Université Paris 13)
Quando:
16/01/2009 - 14:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Sémantiques de la logique linéaire et temps de calcul

Speaker:
Daniel De Carvalho (LORIA, INRIA, Nancy)
Quando:
16/01/2009 - 13:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract


Giornata dedicata alla Logica

Organizzatori:
Lorenzo Tortora de Falco
Inizio:
16/01/2009
Fine:
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Descrizione

Nell'ambito delle attività seminariali del gruppo Logica e geometria della cognizione, alcuni giovani post-doc terranno dei seminari sul tema di ricerca Proof-Nets and Execution Time


Ricerca sui contributi della Logica Lineare e dei suoi sviluppi al Semantic Web

Speaker:
Marco Romano
Quando:
09/01/2009 - 10:00
Dove:
Aula Verra, Facoltà di Lettere e Filosofia - Università Roma Tre, Via Ostiense 234
Abstract

Introduzione alle ontologie; cenni sulla Knowledge Representation; discussione sulle possibilità e sull'opportunità di utilizzare le ontologie nel Web; osservazioni sulla Semantic Web Initiative; presentazione della linea di ricerca, e dei risultati fin qui riscontrati, adottata nel percorso di formazione dottorale; alcune prospettive di sviluppo di questa ricerca.
Le slide utilizzate durante il seminario sono disponibili qui.


La logica e il quadrato aristotelico degli opposti

Speaker:
Michele Abrusci
Quando:
05/12/2008 - 17:00
Dove:
Dipartimento di Filosofia
Abstract


Temi multidisciplinari della comunicazione

Organizzatori:
Abrusci, Maieli, Numerico
Inizio:
26/11/2008
Fine:
19/12/2008
Dove:
Aula 2, Facoltà di Lettere e Filosofia, Università Roma Tre, Via Ostiense 234 - 00144 Roma
Descrizione

Nel quadro delle conferenze sui temi multidisciplinari della comunicazione, promosse dagli insegnamenti di Logica e di Informatica (Collegio Didattico di Scienze della Comunicazione), saranno tenute tre conferenze sui temi: Social networks, John Von Neumann e le origini dell'informatica e Dieci anni di Google.


Gruppo di lavoro reti differenziali

Organizzatori:
Inizio:
28/04/2008
Fine:
30/04/2008
Dove:
Aula Verra, Facoltà di Lettere e Filosofia (piano terra), Università Roma Tre
Descrizione

Esposizione e discussione delle ricerche sulle reti d'interazione differenziali tra dottorandi e postdoc italiani e francesi. L'idea è di NON avere un'organizzazione rigida di quest'evento, lasciando piuttosto il maggior tempo possibile alla libera discussione e al lavoro in comune, approfittando della presenza in questi tre giorni di molti ricercatori francesi a Roma.
Segue la lista dei seminari programmati.


Informal workshop on advances in Linear Logic proof nets

Organizzatori:
Lorenzo Tortora de Falco
Paolo Di Giamberardino
Inizio:
18/04/2008
Fine:
18/04/2008
Dove:
Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma
Descrizione

Discussion on the themes of proof-nets and their differential version (differential proof-nets). We have planned by now only a few number of structured talks:
- Damiano Mazza "Linear Logic by Levels and Bounded Time Complexity"
- Paolo Tranquilli "A characterization of MALL hypercoherent semantic correctness"
More information will follow.


Dimostrazioni, Polarità e Cognizione

Organizzatori:
Lorenzo Tortora de Falco
Inizio:
17/04/2008
Fine:
15/04/2008
Dove:
Sala Professori della Facoltà di Lettere e Filosofia, via Ostiense, 234 - 00144 Roma
Descrizione

Incontro di Logica in occasione della discussione delle tesi di dottorato in Filosofia e Teoria delle Scienze Umane di Paolo Di Giamberardino e Maria Teresa Medaglia.