Show simple item record

Arithmetical completeness of the logic R
dc.contributor.advisorŠvejdar, Vítězslav
dc.creatorHolík, Lukáš
dc.date.accessioned2017-05-27T18:34:40Z
dc.date.available2017-05-27T18:34:40Z
dc.date.issued2014
dc.identifier.urihttp://hdl.handle.net/20.500.11956/72212
dc.description.abstractCí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)cs_CZ
dc.description.abstractThe 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)en_US
dc.languageČeštinacs_CZ
dc.language.isocs_CZ
dc.publisherUniverzita Karlova, Filozofická fakultacs_CZ
dc.subjectLogika dokazatelnostics_CZ
dc.subjectmodální logikycs_CZ
dc.subjectrosserovské modalitycs_CZ
dc.subjectpevný bodcs_CZ
dc.subjectProvability logicen_US
dc.subjectmodal logicsen_US
dc.subjectRosser modalitiesen_US
dc.subjectfixed pointen_US
dc.titleAritmetická úplnost logiky Rcs_CZ
dc.typediplomová prácecs_CZ
dcterms.created2014
dcterms.dateAccepted2014-09-17
dc.description.departmentDepartment of Logicen_US
dc.description.departmentKatedra logikycs_CZ
dc.description.facultyFilozofická fakultacs_CZ
dc.description.facultyFaculty of Artsen_US
dc.identifier.repId124239
dc.title.translatedArithmetical completeness of the logic Ren_US
dc.contributor.refereeBílková, Marta
dc.identifier.aleph001854024
thesis.degree.nameMgr.
thesis.degree.levelnavazující magisterskécs_CZ
thesis.degree.disciplineLogikacs_CZ
thesis.degree.disciplineLogicen_US
thesis.degree.programLogikacs_CZ
thesis.degree.programLogicen_US
uk.thesis.typediplomová prácecs_CZ
uk.taxonomy.organization-csFilozofická fakulta::Katedra logikycs_CZ
uk.taxonomy.organization-enFaculty of Arts::Department of Logicen_US
uk.faculty-name.csFilozofická fakultacs_CZ
uk.faculty-name.enFaculty of Artsen_US
uk.faculty-abbr.csFFcs_CZ
uk.degree-discipline.csLogikacs_CZ
uk.degree-discipline.enLogicen_US
uk.degree-program.csLogikacs_CZ
uk.degree-program.enLogicen_US
thesis.grade.csVelmi dobřecs_CZ
thesis.grade.enVery gooden_US
uk.abstract.csCí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)cs_CZ
uk.abstract.enThe 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)en_US
uk.file-availabilityV
uk.publication.placePrahacs_CZ
uk.grantorUniverzita Karlova, Filozofická fakulta, Katedra logikycs_CZ
dc.identifier.lisID990018540240106986


Files in this item

Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record


© 2017 Univerzita Karlova, Ústřední knihovna, Ovocný trh 560/5, 116 36 Praha 1; email: admin-repozitar [at] cuni.cz

Za dodržení všech ustanovení autorského zákona jsou zodpovědné jednotlivé složky Univerzity Karlovy. / Each constituent part of Charles University is responsible for adherence to all provisions of the copyright law.

Upozornění / Notice: Získané informace nemohou být použity k výdělečným účelům nebo vydávány za studijní, vědeckou nebo jinou tvůrčí činnost jiné osoby než autora. / Any retrieved information shall not be used for any commercial purposes or claimed as results of studying, scientific or any other creative activities of any person other than the author.

DSpace software copyright © 2002-2015  DuraSpace
Theme by 
@mire NV