Abstract
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
... read more