Aritmetická úplnost logiky R
Arithmetical completeness of the logic R
diploma thesis (DEFENDED)
View/
Permanent link
http://hdl.handle.net/20.500.11956/72212Identifiers
Study Information System: 124239
Collections
- Kvalifikační práce [23774]
Faculty / Institute
Faculty of Arts
Discipline
Logic
Department
Department of Logic
Date of defense
17. 9. 2014
Publisher
Univerzita Karlova, Filozofická fakultaLanguage
Czech
Grade
Very good
Keywords (Czech)
Logika dokazatelnosti, modální logiky, rosserovské modality, pevný bodKeywords (English)
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)