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

        A Solver and Tutoring Tool for Logical Proofs in Natural Deduction

        Thumbnail
        View/Open
        Thesis_van_der_Vlist.pdf (300.7Kb)
        Publication date
        2019
        Author
        Vlist, C.L. van der
        Metadata
        Show full item record
        Summary
        This paper introduces LEGEND, an interactive tutoring system which provides formal proofs in natural deduction and allows users to construct their own proofs. I describe the way LEGEND can be used, and I explain the algorithm it utilizes to construct proofs or create graphs of paths from premises to a conclusion.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/33179
        Collections
        • Theses
        Utrecht university logo