\relax 
\newlabel{CNF}{{3}{6}}
\newlabel{sequent}{{1}{9}}
\newlabel{seqSem}{{2}{10}}
\newlabel{rules}{{5}{11}}
\newlabel{demorgan}{{6}{12}}
\newlabel{contraction}{{7}{12}}
\newlabel{supset}{{8}{12}}
\newlabel{subform}{{}{12}}
\newlabel{PKcomlete}{{}{13}}
\newlabel{seqseq}{{3}{14}}
\newlabel{completeness}{{10}{15}}
\newlabel{compactness}{{11}{16}}
\newlabel{tych}{{12}{16}}