Por lo tanto a diferencia de la lógica clásica y otros tipos de lógicas, las lógicas paraconsistentes pueden ser usadas para formalizar teorías inconsistentes no triviales.