Engels, A. (1996) Volledigheid en correctheid van MLCM. Master's Thesis / Essay, Mathematics.
|
Text
Math_Drs_1996_AEngels.CV.pdf - Published Version Download (1MB) | Preview |
Abstract
We beginnen deze scriptie met het 'voorstellen' van de logica. In hoofdstuk 3-5 worden syntax, axiomatisering en semantiek van PL behandeld, in hoofdstuk 6-8 gebeurt hetzelfde voor MLCM. Hiema volgt het correctheidsbewijs, eerst voor PL (hoofdstuk 9), dan voor MLCM (hoofdstuk 10). Dit gebeurt door het bewijzen van de correctheid van de axioma's en afieidingsregels afzonderlijk. Hoofdstuk 11 bevat de afleiding van een aantal stellingen, de meeste waarvan worden gebruikt in de correctheidsbewijzen in hoofdstuk 12 (PL) en 13 (MLCM). In hoofdstuk 14 wordt een overzicht gegeven van alle wijzigingen die gedurende de periode die ik aan mijn scriptie besteedde, noodzakelijk dan wel wenselijk bleken, en in hoofdstuk 15 wordt een variant van MLCM behandeld.
| Item Type: | Thesis (Master's Thesis / Essay) |
|---|---|
| Degree programme: | Mathematics |
| Thesis type: | Master's Thesis / Essay |
| Language: | English |
| Date Deposited: | 15 Feb 2018 07:28 |
| Last Modified: | 15 Feb 2018 07:28 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/8565 |
Actions (login required)
 |
View Item |