An Alternative Approach to the Complexity of the Disjunction Property in Intuitionistic Logic

dc.rights.license	CC-BY-NC-ND
dc.contributor.advisor	Iemhoff, R.
dc.contributor.author	Baumfalk, J.T.
dc.date.accessioned	2012-08-28T17:02:19Z
dc.date.available	2012-08-28
dc.date.available	2012-08-28T17:02:19Z
dc.date.issued	2012
dc.identifier.uri	https://studenttheses.uu.nl/handle/20.500.12932/16067
dc.description.abstract	This thesis is a treatise of a paper written by Sam Buss and Grigori Mints about the disjunction property for intuitionistic logic. It covers the paper and the problems with it, as well as the prerequisites needed for understanding the paper.
dc.description.sponsorship	Utrecht University
dc.format.extent	563814 bytes
dc.format.mimetype	application/pdf
dc.language.iso	en
dc.title	An Alternative Approach to the Complexity of the Disjunction Property in Intuitionistic Logic
dc.type.content	Bachelor Thesis
dc.rights.accessrights	Open Access
dc.subject.keywords	intuitionistic logic, complexity, disjunction property, natural deduction, sequent calculus, cut elimination
dc.subject.courseuu	Kunstmatige Intelligentie