Javascript must be enabled for the correct page display

Calculation of the Size of the Fragment Containing Negation, Conjunction and Disjunction in Intiutionistic Logic

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.

[img]
Preview
Text
Computation_in_logical_fragments.pdf - Published Version

Download (645kB) | Preview
[img] 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: http://fse.studenttheses.ub.rug.nl/id/eprint/13037

Actions (login required)

View Item View Item