Formalizing Medieval Logical Theories, Suppositio, Consequentiae and Obligationes

Supposition Theory: Algorithmic Hermeneutics.- Buridan's Notion of Consequentia.- Obligationes as Logical Games.- The Philosophy of Formalization.