Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes