Zeit: Mo 15:15-16:45

Beginn: 2007-03-05

Überblicksvorlesung über die wichtigsten nichtklassischen Logiken: mehrwertige, intuitionistische, minimale, intermediäre (superintuitionistische), substrukturale (relevante, BCK, BCI, Lambek-Kalkül, lineare), Quanten-, parakonsistente, Fuzzy-, nonmonotone Logiken. Umfangreiche Literaturangaben sollen zu weiterem Studium anregen.