Národní úložiště šedé literatury Nalezeno 1 záznamů.  Hledání trvalo 0.01 vteřin. 

Kompaktnost v neklasických logikách
Ivaničová, Petra ; Peregrin, Jaroslav (oponent) ; Hájek, Petr (vedoucí práce)
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.

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