Název:
Kompaktnost v neklasických logikách
Překlad názvu:
Compactness in non-classical logics
Autoři:
Ivaničová, Petra ; Peregrin, Jaroslav (oponent) ; Hájek, Petr (vedoucí práce) Typ dokumentu: Diplomové práce
Rok:
2010
Jazyk:
cze
Abstrakt: [cze][eng] Práce systematicky studuje pojem kompaktnosti v klasické výrokové logice, dále obecně studuje ruzné pojmy kompaktnosti a vztah k ruzným pojm um úplnosti v rámci obecné teorie relace dusledku a zabývá se kompaktnost ' v některých základn'ch neklasických logikách - fuzzy a modáln'ch výrokových logikách.This work systematically studies the concept of compactness in classical propositional logic as well as various concepts of compactness and their relation to different notions of completeness in the framework of the general theory of consequence relations. It also considers the compactness in various basic non-classical logics - fuzzy and modal propositional fuzzy logics.