Théorie des consequentiae

Théorie de la logique médiévale, codifiée par Pierre d'Espagne, étudiant les conséquences logiques, c'est-à-dire les règles d'inférence valides entre propositions. Elle prolonge la logique stoïcienne de Chrysippe.