Název: Elementární axiomatické teorie nad intuicionistickou logikou
Překlad názvu: Elementary axiomatic theories over intuitionistic logic
Autoři: Heřmanová, Barbora ; Švejdar, Vítězslav (vedoucí práce) ; Ferenz, Nicholas (oponent)
Typ dokumentu: Bakalářské práce
Rok: 2023
Jazyk: eng
Abstrakt: [eng] [cze]
This thesis studies basic properties of intuitionistic logic and several elementary theories over it. We choose three theories to explore: the theory of equality, the theory of linear order, and the theory of apartness. We do not work with the last theory in classical logic and we will study it in connection with the other two theories, especially in relation to conservativity. This thesis draws mainly from the results of Dirk van Dalen, Richard Statman, and Craig Smorynski. Keywords: intuitionistic logic, elementary theories, apartness, conservativity 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
Klíčová slova: intuicionistická logika|kripkovská sémantika|rovnost|mimolehlost; intuitionistic logic|Kripke semantics|equality|apartness

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/183197

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-532629


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Bakalářské práce