Název:
Aritmetická úplnost logiky R
Překlad názvu:
Arithmetical completeness of the logic R
Autoři:
Holík, Lukáš ; Švejdar, Vítězslav (vedoucí práce) ; Bílková, Marta (oponent) Typ dokumentu: Diplomové práce
Rok:
2014
Jazyk:
cze
Abstrakt: [cze][eng] Cílem práce bylo s použitím novodobé notace vystavět teorii Rosserovy logiky, vysvětlit do detailu její vztah s Peanovou aritmetikou, ukázat kripkovskou sémantiku a nakonec pomocí autoreference v množném čísle zpracovat důkaz aritmetické úplnosti. V poslední kapitole se pak ukazují některé z vlastností rosserovských sentencí. Powered by TCPDF (www.tcpdf.org)The aim of this work is to use contemporary notation to build theory of Rosser logic, explain in detail its relation to Peano arithmetic, show its Kripke semantics and finally using plural self-reference show the proof of arithmetical completeness. In the last chapter we show some of the properties of Rosser sentences. Powered by TCPDF (www.tcpdf.org)
Klíčová slova:
Logika dokazatelnosti; modální logiky; pevný bod; rosserovské modality; fixed point; modal logics; Provability logic; Rosser modalities