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

        Typelogical Proof Nets in Python - Graphical Lambek-Grishin Calculus

        Thumbnail
        View/Open
        scriptie.pdf (884.9Kb)
        Publication date
        2013
        Author
        Dost, S.N.
        Metadata
        Show full item record
        Summary
        The aim of this thesis is to investigate a graphical method for Lambek-Grishin calculus. Graphical calculus is a good alternative to sequent calculus and natural deduction for use in automated deduction. The first part of the thesis presents the graphical calculus, reiterating previous work on the subject. After this introduction the methods' relation to sequent calculus is explained, in the form of proof terms. All this is implemented as a theorem prover in Python, which can be found in the appendix.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/13004
        Collections
        • Theses
        Utrecht university logo