 The two main features of 13th century logic are arguably the emergence of the terminist tradition (authors such as Peter of Spain, William of Sherwood and Lambert of Auxerre/Lagny) and the absorption of the newly rediscovered Aristotelian texts and other Greek sources, resulting in an extensive commentary tradition (Uckelman and Lagerlund 2016) The latter resulted in the distinction between three groups of logical theories: what became known as the logica vetus (topics emerging from the traditional texts which had remained available throughout: the Categories, On Interpretation, Porphyry’s Isagoge); the logica nova (covering the material from the newly discovered Aristotelian texts); and the logica modernorum (topics not directly related to the Aristotelian corpus, such as consequence, insolubles and obligations).