%PDF-1.4 % 4 0 obj << /S /GoTo /D (section.1) >> endobj 7 0 obj (Introduction) endobj 8 0 obj << /S /GoTo /D (section.2) >> endobj 11 0 obj (Infon logic: language and derivability) endobj 12 0 obj << /S /GoTo /D (section.3) >> endobj 15 0 obj (Primal logic with disjunction: semantics and complexity) endobj 16 0 obj << /S /GoTo /D (section.4) >> endobj 19 0 obj (Reductions between primal and classical logic) endobj 20 0 obj << /S /GoTo /D (section.5) >> endobj 23 0 obj (Primal logic with disjunction and quotations: sequent calculus and cut-elimination) endobj 24 0 obj << /S /GoTo /D (section.6) >> endobj 27 0 obj (Primal logic with disjunction and quotations: semantics and a completeness proof) endobj 28 0 obj << /S /GoTo /D (section.7) >> endobj 31 0 obj (Complexity bounds) endobj 32 0 obj << /S /GoTo /D [33 0 R /Fit ] >> endobj 40 0 obj << /Length 2082 /Filter /FlateDecode >> stream xڅ˒ܸ蜢"EjOڬkco6R^J-ѣMJ3} RwI P;W7?ݿd!Y!\Rv!wʣɎCiw6>DPkyheNJQer-r-w@*Rw7p