Browsing by Author "Lávička, Tomáš"
Now showing items 1-3 of 3
-
An abstract study of completeness in infinitary logics
Defence status: DEFENDEDLávička, Tomáš (Univerzita Karlova, Filozofická fakulta, 2018)Date of defense: 4. 10. 2018V této dizertační práci se zabýváme studiem vlastností úplnosti infinitárních výrokových logik z pohledu abstraktní algebraické logiky. Cílem práce je pochopit, jak lze základní nástroj v důkazech uplnosti, tzv. Lindenbaumovo ... -
Classification of (in)finitary logics
Defence status: DEFENDEDLávička, Tomáš (Univerzita Karlova, Filozofická fakulta, 2015)Date of defense: 8. 9. 2015V této magisterské práci se budeme zabývat větami o úplnosti v rámci abstraktní algebraické logiky. Náš ústřední zájem bude spočívat v úplnosti vůči takzvaným relativně (konečně) subdirektně ireducibilním modelům. Významnou ... -
Generalized Boolean models and classical predicate logic
Defence status: DEFENDEDLávička, Tomáš (Univerzita Karlova, Filozofická fakulta, 2013)Date of defense: 27. 6. 2013Tato bakalářská práce pojednává o úplných Booleových alge- berách a o jejich užití v semantice prvořádové predikátové logiky. Práce má dva hlavní cíle, v první řadě dokázat, že každá Booleova algebra může být rozšířena na ...