Aritmetická úplnost logiky R
Arithmetical completeness of the logic R
diplomová práce (OBHÁJENO)
Zobrazit/
Trvalý odkaz
http://hdl.handle.net/20.500.11956/72212Identifikátory
SIS: 124239
Katalog UK: 990018540240106986
Kolekce
- Kvalifikační práce [25011]
Fakulta / součást
Filozofická fakulta
Obor
Logika
Katedra / ústav / klinika
Katedra logiky
Datum obhajoby
17. 9. 2014
Nakladatel
Univerzita Karlova, Filozofická fakultaJazyk
Čeština
Známka
Velmi dobře
Klíčová slova (česky)
Logika dokazatelnosti, modální logiky, rosserovské modality, pevný bodKlíčová slova (anglicky)
Provability logic, modal logics, Rosser modalities, fixed pointCí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)