En lógica clásica hay una sola relación de consecuencia lógica y distintos sistemas deductivos para caracterizarla (sistemas axiomáticos, "tableaux", deducción natural, sistemas de Gentzen, entre otros).