Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.00 vteřin. 
An abstract study of completeness in infinitary logics
Lávička, Tomáš ; Noguera, Carles (vedoucí práce) ; Jeřábek, Emil (oponent) ; Moraschini, Tommaso (oponent)
V 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 lemma, zobecnit za hranici finitárních logik. Za tímto účelem studujeme vlastnosti úzce související s Lindenbaumovým lemmatem (a v důsledku také s vlastnostmi úplnosti). Uvidíme, že na základě těchto vlastností lze vystavět novou hierarchii infinitárních výrokových logik. Také se zabýváme studiem těchto vlastností v případě, kdy naše logika má nějaké (případně hodně obecně definované) spojky implikace, disjunkce a negace. Mimo jiné uvidíme, že přítomnost daných spojek může zajist platnost Lindenbaumova lemmatu. Keywords: abstraktní algebraická logika, infinitární logiky, Lindenbau- movo lemma, disjunkce, implikace, negace

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.