Formalizing Medieval Logical Theories | lit.salon