Tras la fase inicial de traducciones, la tradición de la lógica medieval fue desarrollada en manuales como el de Petrus Hispanus (fl.