Kompaktnost v neklasických logikách
Compactness in non-classical logics
diplomová práce (OBHÁJENO)
Zobrazit/ otevřít
Trvalý odkaz
http://hdl.handle.net/20.500.11956/26984Identifikátory
SIS: 88890
Kolekce
- Kvalifikační práce [23728]
Autor
Vedoucí práce
Oponent práce
Peregrin, Jaroslav
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
1. 7. 2010
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Výborně
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.