Convegno sulla logica universale, Lisbona, Portogallo

Dal 22 al 25 aprile 2010 si terrà a Lisbona, in Portogallo, un convegno sulla logica universale.

L'evento fornirà una piattaforma per discutere sul futuro della ricerca sulla logica. All'evento parteciperanno logici puri, matematici, informatici, ricercatori di intelligenza artificiale, linguisti, psicologi e filosofi.

Il programma prevede varie discussioni e dieci sessioni tematiche. Le dieci sessioni affronteranno:
- diagrammi logici,
- matematica non classica,
- logica algebrica astratta,
- paradossi,
- logica substrutturale,
- logica categoriale,
- negazione,
- logiche multimodali,
- logiche paraconsistenti,
- algebre per le logiche.Per ulteriori informazioni, visitare:
http://www.uni-log.org/start3.html(si apre in una nuova finestra)