An Alternative Approach to the Complexity of the Disjunction Property in Intuitionistic Logic
Publication date
Authors
DOI
Document Type
Bachelor Thesis
Metadata
Show full item recordCollections
License
CC-BY-NC-ND
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.
Keywords
intuitionistic logic, complexity, disjunction property, natural deduction, sequent calculus, cut elimination