Logika a logiky

Systém klasické výrokové logiky, jeho rozšíření a alternativy. Kniha je úvodem do alternativních systémů výrokové logiky. Vychází ze standardní, klasické výrokové logiky a probírá některá její možná rozšíření a alternativy. Tak se dopracovává k systémům intuicionistických, vícehodnotových, relevančních, modálních a jiných logik, přičemž nejpodrobněji je zpracován systém logik modálních. Kniha je určena zejména studentům matematiky, informatiky, filosofie a teoretické lingvistiky, jakož i všem dalším odborným zájemcům.