Hlavní stránka > Výsledky hledání: Ferenz, Nicholas
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 1 záznamů.  Hledání trvalo 0.00 vteřin. 
Elementary axiomatic theories over intuitionistic logic
 Heřmanová, Barbora ; Švejdar, Vítězslav (vedoucí práce) ; Ferenz, Nicholas (oponent)
Tato práce se zabývá základními vlastnostmi intuicionistické logiky a některými elementárními teoriemi v ní. Ke zkoumání jsme vybrali následující teorie: teorie ekvivalence, teorie lineárního uspořádání a teorie mimolehlosti. Poslední teorie není známá v klasické logice a my ji budeme zkoumat ve spo- jení se zbylými dvěma teoriemi a to zejména v souvislosti s konzervativitou. Tato práce čerpá především z prací Dirka van Dalena, Richarda Statmana a Craiga Smorynského. Klíčová slova: intuicionistická logika, elementární teorie, mimolehlost, konzerva- tivita
Ú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