Loon, S.J. van (2015) Calculation of the Size of the Fragment Containing Negation, Conjunction and Disjunction in Intiutionistic Logic. Bachelor's Thesis, Computing Science.
|
Text
Computation_in_logical_fragments.pdf - Published Version Download (645kB) | Preview |
|
![[img]](https://fse.studenttheses.ub.rug.nl/style/images/fileicons/text.png) |
Text
Toestemming.pdf - Other Restricted to Backend only Download (46kB) |
Abstract
Intuitionistic logic is a “weaker” logic than classical logic and can be viewed as classical logic without double negation elimination. In this thesis we examine the fragment in intuitionistic logic containing formulae with only negation, conjunction and disjunction as connectives. The first goal of this thesis is to examine the structure of the formulae in the fragment. This is achieved by denoting normal forms representing the formulae. Furthermore a partial ordering is distinguished between elements of these normal forms.
| Item Type: | Thesis (Bachelor's Thesis) |
|---|---|
| Degree programme: | Computing Science |
| Thesis type: | Bachelor's Thesis |
| Language: | English |
| Date Deposited: | 15 Feb 2018 08:06 |
| Last Modified: | 15 Feb 2018 08:06 |
| URI: | https://fse.studenttheses.ub.rug.nl/id/eprint/13037 |
Actions (login required)
 |
View Item |