Lógica Paraconsistente

Una clase de lógicas no clásicas que rechazan o restringen el principio clásico de explosión (ex contradictione quodlibet) de modo que una contradicción explícita en una teoría formal no implica cualquier fórmula; tales sistemas proporcionan relaciones de consecuencia y reglas de prueba diseñadas para permitir un razonamiento controlado y no trivial ante premisas inconsistentes.