Original title:
Kompaktnost v neklasických logikách
Translated title:
Compactness in non-classical logics
Authors:
Ivaničová, Petra ; Peregrin, Jaroslav (referee) ; Hájek, Petr (advisor) Document type: Master’s theses
Year:
2010
Language:
cze Abstract:
[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.
Institution: Charles University Faculties (theses)
(web)
Document availability information: Available in the Charles University Digital Repository. Original record: http://hdl.handle.net/20.500.11956/26984