Show simple item record

dc.rights.licenseCC-BY-NC-ND
dc.contributor.advisorKorbmacher, J.
dc.contributor.authorVromen, W.
dc.date.accessioned2020-12-02T19:00:18Z
dc.date.available2020-12-02T19:00:18Z
dc.date.issued2020
dc.identifier.urihttps://studenttheses.uu.nl/handle/20.500.12932/38238
dc.description.abstractThe 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.
dc.description.sponsorshipUtrecht University
dc.format.extent489721
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.titleA Truthmaker Semantics for Wansing's C
dc.type.contentBachelor Thesis
dc.rights.accessrightsOpen Access
dc.subject.keywordsTruthmaker semantics; C; Connexive logic
dc.subject.courseuuKunstmatige Intelligentie


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record