(Hablando estrictamente, una lógica paraconsistente puede validar inferencias que no son válidas según formatos clásicos, aunque esto solo ocurre esporádicamente.