Hlavní stránka > Výsledky hledání: Brablec, Vladimír
Hledej:
Tipy pro vyhledávaní :: Rozšířené hledání
Hledej ve sbírkách:
Seřadit podle: Zobrazit výsledky: Výstupní formát:
Národní úložiště šedé literatury Nalezeno 2 záznamů.  Hledání trvalo 0.01 vteřin. 
Intuitionistic logic and axiomatic theories
 Brablec, Vladimír ; Švejdar, Vítězslav (vedoucí práce) ; Jeřábek, Emil (oponent)
Pr ace zkoum a vlastnosti n ekter ych element arn ch intuicionistick ych teori . Vybr any jsou n asleduj c teorie: teorie rovnosti, line arn ho uspo r ad an , hust eho line arn ho uspo r ad an , teorie n asledn ka, Robinsonova aritmetika a teorie s c t an racion aln ch c sel; nav c t em e r ka zdou z t echto teori formulujeme dv ema r uzn ymi zp usoby. Z vlastnost teori n as zaj maj p redev s m n asleduj c cty ri: spl yv an s klasickou verz teorie, saturovanost, platnost De Jonghovy v ety a rozhodnutelnost. Diplomov a pr ace vych az zejm ena z v ysledk u C. Smorynsk eho a D. de Jongha a sna z se je rozvinout. N ekter e v ysledky zn am e pro Heytingovu aritmetiku dokazuje i pro jin e teorie. D ale se pokou s odpov ed et nap r klad na to, jak y vliv m a z am ena axiomu teorie za jin y (klasicky ekvivalentn ) axiom nebo jak e vlastnosti by m ela m t dobr a intuicionistick a teorie.
Úplný záznam
Intuitionistic logic and axiomatic theories
 Brablec, Vladimír ; Švejdar, Vítězslav (vedoucí práce) ; Jeřábek, Emil (oponent)
Pr ace zkoum a vlastnosti n ekter ych element arn ch intuicionistick ych teori . Vybr any jsou n asleduj c teorie: teorie rovnosti, line arn ho uspo r ad an , hust eho line arn ho uspo r ad an , teorie n asledn ka, Robinsonova aritmetika a teorie s c t an racion aln ch c sel; nav c t em e r ka zdou z t echto teori formulujeme dv ema r uzn ymi zp usoby. Z vlastnost teori n as zaj maj p redev s m n asleduj c cty ri: spl yv an s klasickou verz teorie, saturovanost, platnost De Jonghovy v ety a rozhodnutelnost. Diplomov a pr ace vych az zejm ena z v ysledk u C. Smorynsk eho a D. de Jongha a sna z se je rozvinout. N ekter e v ysledky zn am e pro Heytingovu aritmetiku dokazuje i pro jin e teorie. D ale se pokou s odpov ed et nap r klad na to, jak y vliv m a z am ena axiomu teorie za jin y (klasicky ekvivalentn ) axiom nebo jak e vlastnosti by m ela m t dobr a intuicionistick a teorie.
Úplný záznam

Chcete být upozorněni, pokud se objeví nové záznamy odpovídající tomuto dotazu?
Přihlásit se k odběru RSS.
Digitální repozitář :: Hledej :: Nový záznam :: Personalizace :: Nápověda
Powered by Invenio v1.1.2
Spravuje admin.invenio@techlib.cz
Tato stránka je dostupná také v následujících jazycích:
Česky  English