Anotace
Kurs je věnován hlavním alternativám klasické logiky - intuicionistické logice, substrukturálním, vícehodnotovým a fuzzy logikám; kurs má charakter úvodu a pokrývá základní sémantické a důkazově teoretické charakteristiky zkoumaných logik. V zimním semestru se kurs věnuje výrokové a predikátové intuicionistické logice s přesahy do metamatematiky (Heytingova aritmetika). V letním semetru jsou obsahem kursu substrukturální logiky (Lambekův kalkul a jeho rozšíření o strukturální pravidla, lineární logika a relavanční logika) a vícehodnotové logiky a jejich algebraická a relační sémantika.
Základní prerekvizitou je učivo kursu Logika I, navazuje se též na Logiku II, Teorii důkazů a přednášky z Algebry I, II (struktury, svazy, algebry).