\BOOKMARK [1][-]{section.1}{Introduction}{}
\BOOKMARK [2][-]{subsection.1.1}{About LogiWeb}{section.1}
\BOOKMARK [2][-]{subsection.1.2}{About the proof system}{section.1}
\BOOKMARK [1][-]{section.2}{The Deduction Algorithm}{}
\BOOKMARK [1][-]{section.3}{Supporting Lemmas}{}
\BOOKMARK [2][-]{subsection.3.1}{Corollary C1.10a}{section.3}
\BOOKMARK [2][-]{subsection.3.2}{Corollary C1.10\(b\)}{section.3}
\BOOKMARK [2][-]{subsection.3.3}{Lemma A1'*}{section.3}
\BOOKMARK [2][-]{subsection.3.4}{Lemma A2'*}{section.3}
\BOOKMARK [2][-]{subsection.3.5}{Lemma Double Hypothesis}{section.3}
\BOOKMARK [2][-]{subsection.3.6}{Lemma L1.8}{section.3}
\BOOKMARK [2][-]{subsection.3.7}{Lemma Tautology 1}{section.3}
\BOOKMARK [1][-]{section.4}{The Main Proofs }{}
\BOOKMARK [2][-]{subsection.4.1}{Lemma L3.2\(b\)'}{section.4}
\BOOKMARK [2][-]{subsection.4.2}{Lemma L3.2\(c\)'}{section.4}
\BOOKMARK [2][-]{subsection.4.3}{Lemma L3.2\(d\)'}{section.4}
\BOOKMARK [2][-]{subsection.4.4}{Lemma L3.2\(f\)'}{section.4}
\BOOKMARK [3][-]{subsubsection.4.4.1}{The base case of L3.2\(f\)'}{subsection.4.4}
\BOOKMARK [3][-]{subsubsection.4.4.2}{The induction step of L3.2\(f\)'}{subsection.4.4}
\BOOKMARK [2][-]{subsection.4.5}{Lemma L3.2\(g\)'}{section.4}
\BOOKMARK [3][-]{subsubsection.4.5.1}{Base case of L3.2\(g\)'}{subsection.4.5}
\BOOKMARK [3][-]{subsubsection.4.5.2}{Induction step of L3.2\(g\)'}{subsection.4.5}
\BOOKMARK [2][-]{subsection.4.6}{Lemma L3.2\(h\)'}{section.4}
\BOOKMARK [3][-]{subsubsection.4.6.1}{Base case of L3.2\(h\)'}{subsection.4.6}
\BOOKMARK [3][-]{subsubsection.4.6.2}{Induction step of L3.2\(h\)'}{subsection.4.6}
\BOOKMARK [1][-]{section.5}{Conclusion}{}
\BOOKMARK [1][-]{section.A}{The name of the page}{}
\BOOKMARK [1][-]{section.B}{The Bibliography}{}