View Item 
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        •   Utrecht University Student Theses Repository Home
        • UU Theses Repository
        • Theses
        • View Item
        JavaScript is disabled for your browser. Some features of this site may not work without it.

        Browse

        All of UU Student Theses RepositoryBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

        De disjunctie-eigenschap in constructieve wiskunde

        Thumbnail
        View/Open
        scriptie_disjunctie-eigenschap.pdf (479.0Kb)
        Publication date
        2020
        Author
        Pit, Q.J.
        Metadata
        Show full item record
        Summary
        De gevolgtrekkingen in de constructieve wiskunde laten zich goed beschrijven door de intuïtionistische logica I. Deze logica heeft de zogeheten disjunctie-eigenschap: ⊢A∨B impliceert ⊢A of ⊢B. Buss en Pudlák vonden een algoritme dat bewerkstelligt dat deze eigenschap ook voor de constructieve wiskunde geldt. Dat maakt gebruik van het bewijssysteem G1ip voor het propositionele deel van I, Ip. Voor de klasse Harrop-formules geldt zelfs een generalisatie van dit resultaat. Ik voltooi de bewijzen van deze resultaten en vertaal ze naar een ander Ip-bewijssysteem: G3ip.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/36819
        Collections
        • Theses
        Utrecht university logo