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)
Programma
Lista seminari

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

Una rilettura logica d'alcuni problemi di metodo in linguistica e in scienze sociali

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