Zeit: Mo 15:15-16:45

Beginn: 2009-03-02

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