Meijering, Maarten (2019) Conjunctions of equivalences: logic meets linear algebra. Bachelor's Thesis, Mathematics.
|
Text
bMATH_2019_MeijeringMJR.pdf Download (381kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf Restricted to Registered users only Download (140kB) |
Abstract
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 name: | Renardel de Lavalette, G.R. |
| Degree programme: | Mathematics |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 11 Jul 2019 |
| Last Modified: | 12 Jul 2019 06:53 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/20105 |
Actions (login required)
 |
View Item |