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

        Implementing analytic tableaux for justification logic

        Thumbnail
        View/Open
        Scriptie-met-bijlages.zip (837.8Kb)
        Publication date
        2018
        Author
        Steenbergen, N.
        Metadata
        Show full item record
        Summary
        This Master's thesis presents new decidable tableau systems for the justification logics J and LP, and proves their soundness and completeness by providing a proof of cut-elimination. The accompanying Haskell software, "judge", is able to automatically construct tableaux for any tableau systems defined by the user, including the proposed system. The crux lies in its ability to deal with systems in which the expansion rules may introduce formulas that are not subterms of formulas that previously occurred on the branch.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/29178
        Collections
        • Theses
        Utrecht university logo