Systém klasické výrokové logiky, jeho rozšíření a alternativy. Kniha je úvodem do formální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. Nejpodrobněji jsou probírány logiky modální a zejména jejich sémantika založená na pojmu možného světa. Kniha je určena studentům matematiky, informatiky, filosofie, teoretické lingvistiky i všem dalším zájemcům o logiku.

No description yet