Sobre Sistemas Formales Inconsistentes
1963·no ficcion
Una obra fundacional sobre la lógica paraconsistente, que investiga sistemas lógicos donde una contradicción no implica la explosión deductiva de trivialidad, permitiendo razonar con información inconsistente.


