Under the auspices of the Computational Complexity Foundation (CCF)

REPORTS > KEYWORD > INTUITIONISTIC LOGIC:
Reports tagged with intuitionistic logic:
TR16-011 | 27th January 2016
Olaf Beyersdorff, Ján Pich

#### Understanding Gentzen and Frege systems for QBF

Recently Beyersdorff, Bonacina, and Chew (ITCS'16) introduced a natural class of Frege systems for quantified Boolean formulas (QBF) and showed strong lower bounds for restricted versions of these systems. Here we provide a comprehensive analysis of the new extended Frege system from Beyersdorff et al., denoted EF+\$\forall\$red, which is a ... more >>>

ISSN 1433-8092 | Imprint