de Vries, Wopke (2020) Circular Proofs in the Gödel-Löb Logic. Bachelor's Thesis, Mathematics.
|
Text
bMATH_2020_deVriesW.pdf Download (307kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
toestemming.pdf Restricted to Registered users only Download (97kB) |
Abstract
In the Gödel-Löb provability logic we want to find alternatives to the cut-rule. This paper provides an alternative in the form of circular proofs. This paper explains in detail the result that Shamkanov made in this field, closely following his original paper on the subject.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Supervisor name: | Verbrugge, L.C. and Muller, T. |
| Degree programme: | Mathematics |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 14 Apr 2020 12:12 |
| Last Modified: | 14 Apr 2020 12:12 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/21754 |
Actions (login required)
 |
View Item |