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

        Frame Properties of Beth Models

        Thumbnail
        View/Open
        Scriptie.pdf (337.0Kb)
        Publication date
        2013
        Author
        Beer, B. de
        Metadata
        Show full item record
        Summary
        In this thesis I intend to present a comparison of Kripke and Beth models for Intuitionistic Logic, foremost to see how the two relate to each other and to explore frame properties of both. I will start off in chapter 2 by introducing the reader to Intuitionism, Intuitionistic Propopsition Logic and Intuitionistic Predicate Logic. In chapter 3 and 4 I will introduce the Kripke and Beth models and will see in chapter 5 if they can be translated into each other and by which means. In chapter 6 we look at what is known about frame properties of Kripke models, and we will see if we can find frame properties for Beth models as well. We will look at the intermediate logics KC and LC and see if we can find Beth models related to them.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/12525
        Collections
        • Theses
        Utrecht university logo