Congreso sobre lógica universal en Lisboa (Portugal)

Del 22 al 25 de abril de 2010 se celebrará en Lisboa (Portugal) un congreso sobre lógica universal.

El evento servirá de foro de debate sobre el futuro de la investigación en el campo de la lógica. Al evento acudirán especialistas en lógica, matemáticas, informática, inteligencia artificial, lingüistas, psicólogos y filósofos.

Se han programado varios debates y diez sesiones especiales que tratarán los siguientes temas:
- diagramas lógicos;
- matemática no clásica;
- lógica algebraica abstracta;
- paradojas;
- lógica subestructural;
- lógica categórica;
- negación;
- lógica multimodal;
- lógica paraconsistente;
- álgebra aplicada a la lógica.Para más información, consulte:
http://www.uni-log.org/start3.html(se abrirá en una nueva ventana)