Section Axiomatization2SequentCalculus.
Context {L: Language}
{minL: MinimunLanguage L}
{Gamma: ProofTheory L}
{AX: NormalAxiomatization L Gamma}.

(* Specifications: *)
Lemma Axiomatization2SequentCalculus_SC: NormalSequentCalculus L Gamma.
Context {minAX: MinimunAxiomatization L Gamma}.
Lemma Axiomatization2SequentCalculus_fwSC: FiniteWitnessedSequentCalculus L Gamma.
Lemma Axiomatization2SequentCalculus_minSC: MinimunSequentCalculus L Gamma.
Lemma Axiomatization2SequentCalculus_bSC: BasicSequentCalculus L Gamma.
End Axiomatization2SequentCalculus.