Kongress zu universaler Logik, Lissabon, Portugal
Diese Veranstaltung bietet eine Plattform, um die Zukunft der Logik-Forschung zu diskutieren. Zu den Besuchern der Veranstaltung zählen Logiker, Mathematiker, Informatiker, Forscher des Bereichs künstliche Intelligenz, Linguisten, Psychologen und Philosophen.
Auf dem Kongress werden zahlreiche Diskussionen und zehn Sondersitzungen stattfinden. Sitzungsthemen sind:
- Logische Diagramme
- Nicht-klassische Mathematik
- Abstrakte algebraische Logik
- Paradoxa
- Substrukturale Logik
- Kategorische Logik
- Negation
- Multimodale Logik
- Parakonsistente Logik
- Algebren für LogikWeitere Informationen sind abrufbar unter:
http://www.uni-log.org/start3.html(öffnet in neuem Fenster)