Formalizing medieval logical theories : suppositio, consequentiae and obligationes - Dutilh Novaes, Catarina (Logic, Epistemology, and The Unity of Science ;, 2007)