Javascript must be enabled for the correct page display

Conjunctions of equivalences: logic meets linear algebra

Meijering, Maarten (2019) Conjunctions of equivalences: logic meets linear algebra. Bachelor's Thesis, Mathematics.


Download (381kB) | Preview
[img] Text
Restricted to Registered users only

Download (140kB)


We consider fragments of classical propositional logic obtained by taking conjunctions of formulae built up using only atoms and the biconditional ↔. In characterizing these fragments, we find a direct connection with linear subspaces of a vector space over the two-element field. When the logical contradiction is added to the set of propositional atoms, a connection is obtained with a more specific set of linear subspaces. It turns out that the size of the fragments that include logical contradiction can be calculated based on the size of the fragments in which it is not included.

Item Type: Thesis (Bachelor's Thesis)
Supervisor nameSupervisor E mail
Renardel de Lavalette,
Degree programme: Mathematics
Thesis type: Bachelor's Thesis
Language: English
Date Deposited: 11 Jul 2019
Last Modified: 12 Jul 2019 06:53

Actions (login required)

View Item View Item