Ricorda come Paolo Veneto, professore nell'Ateneo perugino nel XV secolo, sia riuscito a fornire una sintesi completa della teoria delle conseguenze e come nel 1496, la sua 'Logica parva' divenne il testo ufficiale dell'Università di Padova. (cfr. "Quaderni per la storia dell'Università di Padova", 18 (1985, ma 1986), p. 256).