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 Truthmaker Semantics for Wansing's C

        Thumbnail
        View/Open
        A TMS for C.pdf (478.2Kb)
        Publication date
        2020
        Author
        Vromen, W.
        Metadata
        Show full item record
        Summary
        The aim of this thesis is to provide a truthmaker semantics for the propositional connexive logic C as introduced by Heinrich Wansing. In order to get a truthmaker semantics for C, we first combine parts of the previously established results for first degree entailment and full intuistionistic logic. We therefore review these logics, as well as C, and briefly address the relation between them. We introduce truthmaker semantics along with its underlying mathematical foundation. Afterwards, we go through the truthmaker semantics for first degree entailment and for positive intuitionistic logic. Finally, we provide a truthmaker semantics for C. The result obtained is contingent on the conjecture that there is a finite tree model for every countermodel in C.
        URI
        https://studenttheses.uu.nl/handle/20.500.12932/38238
        Collections
        • Theses
        Utrecht university logo